The abstract variable-binding calculus (Q1896759): Difference between revisions

@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260394
@@ Property / cites work: Q4260394 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics for Modal Predicate Logic
@@ Property / cites work: Algebraic Semantics for Modal Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893928
@@ Property / cites work: Q3893928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4180350
@@ Property / cites work: Q4180350 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation theorem for polyadic Heyting algebras
+Normal rank
@@ Property / cites work @@
+Q3259695
@@ Property / cites work: Q3259695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic characterization of quantifiers
@@ Property / cites work: An algebraic characterization of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda‐Calculus Models and Extensionality
@@ Property / cites work: Lambda‐Calculus Models and Extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank
@@ Property / cites work @@
+On a generalized cylindrical algebra and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+What is a model of the lambda calculus?
@@ Property / cites work: What is a model of the lambda calculus? / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of non-deducibility in intuitionistic functional calculus
+Normal rank
@@ Property / cites work @@
+Some model theory for monotone quantifiers
@@ Property / cites work: Some model theory for monotone quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric Algebras and Algebras of Substitutions
@@ Property / cites work: Cylindric Algebras and Algebras of Substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260390
@@ Property / cites work: Q4260390 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda abstraction algebras: representation theorems
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011732
@@ Property / cites work: Q4011732 / rank @@
+Normal rank
@@ Property / cites work @@
+Polyadic MV-Algebras
@@ Property / cites work: Polyadic MV-Algebras / rank @@
+Normal rank