Pretabular superintuitionistic logic (Q2265416): Difference between revisions

@@ Property / author @@
-Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / rank @@
-Normal rank
@@ Property / author @@
+Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Some results for implicational calculi
@@ Property / cites work: Some results for implicational calculi / 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 Dummett's LC and Its Extensions
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619070
@@ Property / cites work: Q5619070 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2265416