A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883): Difference between revisions

@@ Property / author @@
-Domenico Cantone
@@ Property / author: Domenico Cantone / rank @@
-Normal rank
@@ Property / author @@
+Domenico Cantone
@@ Property / author: Domenico Cantone / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GULP
@@ Property / describes a project that uses: GULP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TABLEAUX
@@ Property / describes a project that uses: TABLEAUX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GQML
@@ Property / describes a project that uses: GQML / 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/s10817-006-9045-y
+Normal rank
@@ Property / OpenAlex ID @@
+W1985365096
@@ Property / OpenAlex ID: W1985365096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524769
@@ Property / cites work: Q4524769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282596
@@ Property / cites work: Q4282596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503905
@@ Property / cites work: Q4503905 / rank @@
+Normal rank
@@ Property / cites work @@
+A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
+Normal rank
@@ Property / cites work @@
+A Free Variable Version of the First-Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263014
@@ Property / cites work: Q4263014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751354
@@ Property / cites work: Q2751354 / rank @@
+Normal rank
@@ Property / cites work @@
+The liberalized \(\delta\)-rule in free variable semantic tableaux
+Normal rank
@@ Property / cites work @@
+Q2753598
@@ Property / cites work: Q2753598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751380
@@ Property / cites work: Q2751380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412865
@@ Property / cites work: Q4412865 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:877883