Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Social and Behavioral Sciences
Completeness Of Two Systems Of Illative Combinatory Logic For First-Order Propositional And Predicate Calculus, Wil Dekkers, Martin Bunder, Henk Barendregt
Completeness Of Two Systems Of Illative Combinatory Logic For First-Order Propositional And Predicate Calculus, Wil Dekkers, Martin Bunder, Henk Barendregt
Faculty of Engineering and Information Sciences - Papers: Part A
Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound for first-order propositional and predicate calculus.