An explicit basis for admissible inference rules in table modal logics of width 2 (Q431673): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6051430
@@ Property / zbMATH DE Number: 6051430 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+admissible inference rules
@@ Property / zbMATH Keywords: admissible inference rules / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tabular modal logic
@@ Property / zbMATH Keywords: tabular modal logic / 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/s10469-009-9041-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1997554391
@@ Property / OpenAlex ID: W1997554391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3229402
@@ Property / cites work: Q3229402 / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Q4936643
@@ Property / cites work: Q4936643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487248
@@ Property / cites work: Q4487248 / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+A(nother) characterization of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q4489066
@@ Property / cites work: Q4489066 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:431673