A second pretabular classical relevance logic (Q1708106): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / 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 @@
+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 @@
+A pretabular classical relevance logic
@@ Property / cites work: A pretabular classical relevance logic / rank @@
+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 @@
+LC and Its Pretabular Relatives
@@ Property / cites work: LC and Its Pretabular Relatives / rank @@
+Normal rank
@@ Property / cites work @@
+A note on R-Mingle and Sobociński's three-valued logic
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / 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 @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5816696
@@ Property / cites work: Q5816696 / rank @@
+Normal rank
@@ Property / cites work @@
+Family K of the non-Lewis modal systems
@@ Property / cites work: Family K of the non-Lewis modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Certain extensions of modal system S4
@@ Property / cites work: Certain extensions of modal system S4 / 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 @@
+The undecidability of entailment and relevant implication
+Normal rank