A Schemata Calculus for Propositional Logic

DOI10.1007/978-3-642-02716-1_4zbMath1260.03011OpenAlexW1563887142MaRDI QIDQ3648719

Nicolas Peltier, Vincent Aravantinos, Ricardo Caferra

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_4

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

Related Items

Cut-Elimination and Proof Schemata ⋮ Simplified handling of iterated term schemata ⋮ Schemata of SMT-Problems ⋮ A Decidable Class of Nested Iterated Schemata ⋮ RegSTAB: A SAT Solver for Propositional Schemata ⋮ A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata

Uses Software

• SPIKE