Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020): Difference between revisions

@@ Property / author @@
+Hendrik Pieter Barendregt
@@ Property / author: Hendrik Pieter Barendregt / rank @@
+Normal rank
@@ Property / author @@
+Martin W. Bunder
@@ Property / author: Martin W. Bunder / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2112160811
@@ Property / OpenAlex ID: W2112160811 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Advances in the Combinatory Theory of Quantification
+Normal rank
@@ Property / cites work @@
+The combinatory foundations of mathematical logic
@@ Property / cites work: The combinatory foundations of mathematical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate calculus of arbitrarily high finite order
+Normal rank
@@ Property / cites work @@
+A deduction theorem for restricted generality
@@ Property / cites work: A deduction theorem for restricted generality / rank @@
+Normal rank
@@ Property / cites work @@
+Some properties of equality and implication in combinatory logic
+Normal rank
@@ Property / cites work @@
+Functionality in Combinatory Logic
@@ Property / cites work: Functionality in Combinatory Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Apparent variables from the standpoint of combinatory logic
+Normal rank
@@ Property / cites work @@
+Some Additions to the Theory of Combinators
@@ Property / cites work: Some Additions to the Theory of Combinators / rank @@
+Normal rank
@@ Property / cites work @@
+The universal quantifier in combinatory logic
@@ Property / cites work: The universal quantifier in combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+A set of postulates for the foundation of logic
@@ Property / cites work: A set of postulates for the foundation of logic / rank @@
+Normal rank
@@ Property / cites work @@
+A weak absolute consistency proof for some systems of illative combinatory logic
+Normal rank
@@ Property / cites work @@
+A one axiom set theory based on higher order predicate calculus
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank