The tabularity problem over the minimal logic (Q515492): Difference between revisions

@@ Property / cites work @@
+Pretabular superintuitionistic logic
@@ Property / cites work: Pretabular superintuitionistic logic / 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 @@
+Q2885194
@@ Property / cites work: Q2885194 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable logics
@@ Property / cites work: Recognizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Layers over minimal logic
@@ Property / cites work: Layers over minimal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Completeness Results for Dummett's LC and Its Extensions
+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 @@
+Q5619070
@@ Property / cites work: Q5619070 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+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 @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+A method of proving interpolation in paraconsistent extensions of the minimal logic
+Normal rank