Gentzenizations of relevant logics with distribution (Q4894719): Difference between revisions

@@ Property / cites work @@
+Gentzenization and decidability of some contraction-less relevant logics
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+A metacompleteness theorem for contraction-free relevant logics
+Normal rank
@@ Property / cites work @@
+Simplified semantics for relevant logics (and some of their rivals)
+Normal rank
@@ Property / cites work @@
+Classical relevant logics. II
@@ Property / cites work: Classical relevant logics. II / rank @@
+Normal rank
@@ Property / cites work @@
+Classical relevant logics. I
@@ Property / cites work: Classical relevant logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and conservative extension results for some Boolean relevant logics
+Normal rank
@@ Property / cites work @@
+Metacompleteness
@@ Property / cites work: Metacompleteness / rank @@
+Normal rank