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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-012-9433-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1967238423
@@ Property / OpenAlex ID: W1967238423 / rank @@
+Normal rank
@@ 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