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

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275668
@@ Property / full work available at URL: https://doi.org/10.2307/2275668 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4245829734
@@ Property / OpenAlex ID: W4245829734 / rank @@
+Normal rank
@@ 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