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

@@ Property / author @@
-Q384402
@@ Property / author: Q384402 / rank @@
-Normal rank
@@ Property / author @@
-Veta Fedorovna Yun
@@ Property / author: Veta Fedorovna Yun / rank @@
-Normal rank
@@ Property / author @@
+Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / rank @@
+Normal rank
@@ Property / author @@
+Veta Fedorovna Yun
@@ Property / author: Veta Fedorovna Yun / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0037446616060100
+Normal rank
@@ Property / OpenAlex ID @@
+W2567507395
@@ Property / OpenAlex ID: W2567507395 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:515492