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

@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6235911
@@ Property / zbMATH DE Number: 6235911 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relevant modal logic
@@ Property / zbMATH Keywords: relevant modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+metacompleteness
@@ Property / zbMATH Keywords: metacompleteness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+primeness
@@ Property / zbMATH Keywords: primeness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+consistency
@@ Property / zbMATH Keywords: consistency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+admissibility of \(\gamma\)
@@ Property / zbMATH Keywords: admissibility of \(\gamma\) / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:383574