A Schemata Calculus for Propositional Logic

DOI10.1007/978-3-642-02716-1_4MaRDI QIDQ3648719zbMATH OpenOpenAlexFDO

Authors Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

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

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

Recommendations

• scientific article; zbMATH DE number 1390272
• scientific article; zbMATH DE number 4164188
• A deduction theorem schema for deductive systems of propositional logics
• scientific article; zbMATH DE number 4035794
• Semantics and completeness for schematic logic
• scientific article; zbMATH DE number 4016868
• A refinement calculus for logic programs
• scientific article; zbMATH DE number 1252393
• Some structure results for propositional calculi
• scientific article; zbMATH DE number 1215501

Cited in

(12)

• Reasoning on schemas of formulas: an automata-based approach
• A resolution calculus for first-order schemata
• Reasoning on schemata of formulæ
• A schematic extension of IMTL-logic algebras
• Decidability and undecidability results for propositional schemata
• Schemata of SMT-problems
• Cut-elimination and proof schemata
• A tableaux-based decision procedure for multi-parameter propositional schemata
• Tractable and intractable classes of propositional schemata
• A decidable class of nested iterated schemata
• RegSTAB: A SAT Solver for Propositional Schemata
• Simplified handling of iterated term schemata

Describes a project that uses

Uses Software

• SPIKE

This page was built for publication: A Schemata Calculus for Propositional Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3648719)