Combining many-valued and intuitionistic tableaux (Q4645226): Difference between revisions

@@ 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/3-540-61208-4_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1504271387
@@ Property / OpenAlex ID: W1504271387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142560
@@ Property / cites work: Q3142560 / rank @@
+Normal rank
@@ Property / cites work @@
+The foundations of mathematics. A study in the philosophy of science
+Normal rank
@@ Property / cites work @@
+Systematization of finite many-valued logics through the method of tableaux
+Normal rank
@@ Property / cites work @@
+Q4012975
@@ Property / cites work: Q4012975 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+An improved refutation system for intuitionistic predicate logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4645226