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

@@ 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