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

@@ Property / DOI @@
-.1007/s11225-016-9672-1
@@ Property / DOI: 10.1007/s11225-016-9672-1 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-016-9672-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2369255878
@@ Property / OpenAlex ID: W2369255878 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+journals/sLogica/Goudsmit16
@@ Property / DBLP publication ID: journals/sLogica/Goudsmit16 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11225-016-9672-1
@@ Property / DOI: 10.1007/S11225-016-9672-1 / rank @@
+Normal rank