权威例句
An Illative Theory of RelationsIllative combinatory logic based on BCK-logicHigher-Order Illative Combinatory LogicSystems of Illative Combinatory Logic complete for first-order propositional and predicate calculusSome Procedures and Results in the Study of Illative Categories: Tzeltal “Firewood”A weak absolute consistency proof for some systems of illative combinatory logicCompleteness of two systems of illative combinatory logic for first-order propositional and predicate calculusInformation Performances and Illative Sequences: Sequential Organization of Explanations of Chemical Phase Equilibrium.Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logicEstablishment and application of Guangxi maize expert system for diagnosis and control of maize pest in intelligent illative