Some metacomplete relevant modal logics (Q383574): Difference between revisions

@@ Property / cites work @@
+Q4961804
@@ Property / cites work: Q4961804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunction and existence under implication in elementary intuitionistic formalisms
+Normal rank
@@ Property / cites work @@
+Metacompleteness
@@ Property / cites work: Metacompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for relevant modal logics
@@ Property / cites work: A Sahlqvist theorem for relevant modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
+Normal rank
@@ Property / cites work @@
+The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
+Normal rank
@@ Property / cites work @@
+An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
+Normal rank
@@ Property / cites work @@
+A metacompleteness theorem for contraction-free relevant logics
+Normal rank