Globally admissible inference rules (Q2685547): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4312592590
@@ Property / OpenAlex ID: W4312592590 / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Admissible inference rules and semantic property of modal logics
+Normal rank
@@ Property / cites work @@
+Independent bases for admissible rules of pretabular modal logic and its extensions
+Normal rank
@@ Property / cites work @@
+Table admissible inference rules
@@ Property / cites work: Table admissible inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+A(nother) characterization of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank