An encyclopaedia of proof systems

MaRDI QIDQ4585854zbMATH OpenFDO

Authors

Publication date 11 September 2018

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Proof theory and automated deduction
• Goal-directed proof theory
• Natural deduction, hybrid systems and modal logics
• scientific article; zbMATH DE number 976352
• scientific article; zbMATH DE number 3976991

Cited in

(2)

• Contradiction separation based dynamic multi-clause synergized automated deduction
• Formalized proof systems for propositional logic

This page was built for publication: An encyclopaedia of proof systems

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