The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460): Difference between revisions

@@ 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/978-3-031-06843-0_7
+Normal rank
@@ Property / OpenAlex ID @@
+W4312857529
@@ Property / OpenAlex ID: W4312857529 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally finite varieties of Heyting algebras
@@ Property / cites work: Locally finite varieties of Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3344180
@@ Property / cites work: Q3344180 / 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 @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639697
@@ Property / cites work: Q5639697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623661
@@ Property / cites work: Q5623661 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590782
@@ Property / cites work: Q5590782 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice of normal modal logics
@@ Property / cites work: A lattice of normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Bases and Nonmodular Lattice Varieties
@@ Property / cites work: Equational Bases and Nonmodular Lattice Varieties / rank @@
+Normal rank
@@ Property / cites work @@
+A Remark on the Intersection of Tow Logics
@@ Property / cites work: A Remark on the Intersection of Tow Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The embedding theorem: its further developments and consequences. I
+Normal rank
@@ Property / cites work @@
+Logic KM: A Biography
@@ Property / cites work: Logic KM: A Biography / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice NExtS4 from the Embedding Theorem Viewpoint
+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 @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of the Lewis system S5
@@ Property / cites work: Extensions of the Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz on Intension and Extension
@@ Property / cites work: Leibniz on Intension and Extension / rank @@
+Normal rank
@@ Property / cites work @@
+Q5609363
@@ Property / cites work: Q5609363 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite axiomatizability of locally tabular superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+On the Blok-Esakia Theorem
@@ Property / cites work: On the Blok-Esakia Theorem / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5886460