Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729): 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-319-69917-2_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2793946531
@@ Property / OpenAlex ID: W2793946531 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation properties and interpolation theorems for equational theories
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A mind of a non-countable set of ideas
@@ Property / cites work: A mind of a non-countable set of ideas / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Q4068701
@@ Property / cites work: Q4068701 / 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 @@
+Algebraic Completeness Results for Dummett's LC and Its Extensions
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Five critical modal systems
@@ Property / cites work: Five critical modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642540
@@ Property / cites work: Q5642540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641128
@@ Property / cites work: Q5641128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754492
@@ Property / cites work: Q4754492 / rank @@
+Normal rank
@@ Property / cites work @@
+Some relational systems and the associated topological spaces
+Normal rank
@@ Property / cites work @@
+Q3247123
@@ Property / cites work: Q3247123 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5545944
@@ Property / cites work: Q5545944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619070
@@ Property / cites work: Q5619070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541360
@@ Property / cites work: Q5541360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551159
@@ Property / cites work: Q5551159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526956
@@ Property / cites work: Q5526956 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682311
@@ Property / cites work: Q5682311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187817
@@ Property / cites work: Q4187817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875898
@@ Property / cites work: Q3875898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5763291
@@ Property / cites work: Q5763291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532530
@@ Property / cites work: Q5532530 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q5654015
@@ Property / cites work: Q5654015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Der Interpolationssatz der intuitionistischen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Extensions of the Lewis system S5
@@ Property / cites work: Extensions of the Lewis system S5 / rank @@
+Normal rank