Table admissible inference rules (Q431693): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-009-9055-z
@@ Property / DOI: 10.1007/s10469-009-9055-z / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B55
@@ Property / Mathematics Subject Classification ID: 03B55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6051441
@@ Property / zbMATH DE Number: 6051441 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inference rules
@@ Property / zbMATH Keywords: inference rules / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tabular logic
@@ Property / zbMATH Keywords: tabular logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+superintuitionistic logic
@@ Property / zbMATH Keywords: superintuitionistic 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-9055-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2090549183
@@ Property / OpenAlex ID: W2090549183 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Q4390775
@@ Property / cites work: Q4390775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487248
@@ Property / cites work: Q4487248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10469-009-9055-Z
@@ Property / DOI: 10.1007/S10469-009-9055-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:431693