LC and Its Pretabular Relatives (Q3305421): Difference between revisions

@@ Property / author @@
-Q384402
@@ Property / author: Q384402 / rank @@
-Normal rank
@@ Property / author @@
+Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / 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/978-3-319-29300-4_5
+Normal rank
@@ Property / OpenAlex ID @@
+W2466055390
@@ Property / OpenAlex ID: W2466055390 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretabular varieties of modal algebras
@@ Property / cites work: Pretabular varieties of modal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5202988
@@ Property / cites work: Q5202988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4866422
@@ Property / cites work: Q4866422 / 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 @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+Algebraic Completeness Results for Dummett's LC and Its Extensions
+Normal rank
@@ Property / cites work @@
+Five critical modal systems
@@ Property / cites work: Five critical modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619070
@@ Property / cites work: Q5619070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5764366
@@ Property / cites work: Q5764366 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly decidable properties of modal and intuitionistic calculi
+Normal rank
@@ Property / cites work @@
+Complexity of interpolation and related problems in positive calculi
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in positive and related calculi
+Normal rank
@@ Property / cites work @@
+Pretabular superintuitionistic logic
@@ Property / cites work: Pretabular superintuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Pretabular extensions of Lewis S4
@@ Property / cites work: Pretabular extensions of Lewis S4 / rank @@
+Normal rank
@@ Property / cites work @@
+A method of proving interpolation in paraconsistent extensions of the minimal logic
+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 @@
+Recognizable logics
@@ Property / cites work: Recognizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Der Verband der normalen verzweigten Modallogiken
@@ Property / cites work: Der Verband der normalen verzweigten Modallogiken / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / 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 @@
+There exists an uncountable set of pretabular extensions of the relevant logic <i>R</i> and each logic of this set is generated by a variety of finite height
+Normal rank
@@ Property / cites work @@
+On intermediate propositional logics
@@ Property / cites work: On intermediate propositional logics / rank @@
+Normal rank