illative

adj.

推理的，推论的；

An Illative Theory of Relations
Illative combinatory logic based on BCK-logic
Higher-Order Illative Combinatory Logic
Systems of Illative Combinatory Logic complete for first-order propositional and predicate calculus
Some Procedures and Results in the Study of Illative Categories: Tzeltal “Firewood”
A weak absolute consistency proof for some systems of illative combinatory logic
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Information 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 logic
Establishment and application of Guangxi maize expert system for diagnosis and control of maize pest in intelligent illative