Cofinal stable logics (Q514517): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59478453
@@ Property / Wikidata QID: Q59478453 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-016-9677-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2461576207
@@ Property / OpenAlex ID: W2461576207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally finite varieties.
@@ Property / cites work: Locally finite varieties. / rank @@
+Normal rank
@@ Property / cites work @@
+Profinite Heyting algebras
@@ Property / cites work: Profinite Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
+Normal rank
@@ Property / cites work @@
+Locally finite reducts of Heyting algebras and canonical formulas
+Normal rank
@@ Property / cites work @@
+STABLE CANONICAL RULES
@@ Property / cites work: STABLE CANONICAL RULES / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic inference rules
@@ Property / cites work: Characteristic inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+An ascending chain of S4 logics
@@ Property / cites work: An ascending chain of S4 logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619070
@@ Property / cites work: Q5619070 / rank @@
+Normal rank
@@ Property / cites work @@
+Consequence relations and admissible rules
@@ Property / cites work: Consequence relations and admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical rules
@@ Property / cites work: Canonical rules / rank @@
+Normal rank
@@ Property / cites work @@
+On maximal intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Ordered Topological Spaces and the Representation of Distributive Lattices
+Normal rank
@@ Property / cites work @@
+THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
+Normal rank
@@ Property / cites work @@
+Syntax and semantics of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Canonical formulas for <i>K</i>4. Part I: Basic results
+Normal rank