Proof simplification in the framework of coherent logic

MaRDI QIDQ4558008zbMATH OpenFDO

Authors Vesna Marinkovic

Publication date 27 November 2018

zbMATH Keywords

automated theorem proverscoherent logicproof simplificationreadable proofsreductio ad absurdum

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1696761
• Toward mechanical methods for streamlining proofs
• Simplifying proofs in Fitch-style natural deduction systems
• Proof simplification and automated theorem proving
• A vernacular for coherent logic

Cited in

(6)

• scientific article; zbMATH DE number 1614644 (Why is no real title available?)
• scientific article; zbMATH DE number 1696761 (Why is no real title available?)
• Automating Coherent Logic
• A vernacular for coherent logic
• Toward mechanical methods for streamlining proofs
• Simplifying proofs in Fitch-style natural deduction systems

This page was built for publication: Proof simplification in the framework of coherent logic

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