A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914): Difference between revisions

@@ Property / cites work @@
+A Schemata Calculus for Propositional Logic
@@ Property / cites work: A Schemata Calculus for Propositional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Decidable Class of Nested Iterated Schemata
@@ Property / cites work: A Decidable Class of Nested Iterated Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and Undecidability Results for Propositional Schemata
+Normal rank
@@ Property / cites work @@
+A Resolution Calculus for First-order Schemata
@@ Property / cites work: A Resolution Calculus for First-order Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Note on the generalization of calculations
@@ Property / cites work: Note on the generalization of calculations / rank @@
+Normal rank
@@ Property / cites work @@
+CERES: An analysis of Fürstenberg's proof of the infinity of primes
+Normal rank
@@ Property / cites work @@
+Q4525273
@@ Property / cites work: Q4525273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751366
@@ Property / cites work: Q2751366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+Schemata: The Concept of Schema in the History of Logic
+Normal rank
@@ Property / cites work @@
+Q4539635
@@ Property / cites work: Q4539635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723430
@@ Property / cites work: Q2723430 / rank @@
+Normal rank
@@ Property / cites work @@
+The number of proof lines and the size of proofs in first order logic
+Normal rank
@@ Property / cites work @@
+Proof schemata in Hilbert-type axiomatic theories
@@ Property / cites work: Proof schemata in Hilbert-type axiomatic theories / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on the Length of Proofs
@@ Property / cites work: Some Results on the Length of Proofs / rank @@
+Normal rank