A pretabular classical relevance logic (Q1935566): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-012-9455-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2082872670
@@ Property / OpenAlex ID: W2082872670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / 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 @@
+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 @@
+Extensions of the Lewis system S5
@@ Property / cites work: Extensions of the Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+varieties: A solution to the Ackermann constant problem
+Normal rank