Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509): Difference between revisions

@@ Property / cites work @@
+Equational axioms for classes of Heyting algebras
@@ Property / cites work: Equational axioms for classes of Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Injective and Projective Heyting Algebras
@@ Property / cites work: Injective and Projective Heyting Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
+Normal rank
@@ Property / cites work @@
+Q5509710
@@ Property / cites work: Q5509710 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property with respect to admissibility for superintuitionistic logic
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Unification, finite duality and projectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+Admissibility and refutation: some characterisations of intermediate logics
+Normal rank
@@ Property / cites work @@
+Q4836217
@@ Property / cites work: Q4836217 / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Intermediate logics and Visser's rules
@@ Property / cites work: Intermediate logics and Visser's rules / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability of admissible rules
@@ Property / cites work: Derivability of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+On Finite Model Property for Admissible Rules
@@ Property / cites work: On Finite Model Property for Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3987719
@@ Property / cites work: Q3987719 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank