Proof simplification in the framework of coherent logic

zbMATH Open1413.03022MaRDI QIDQ4558008FDOQ4558008

Authors: Vesna Marinkovic 

Publication date: 27 November 2018

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

zbMATH Keywords

automated theorem proverscoherent logicreductio ad absurdumreadable proofsproof simplification

Mathematics Subject Classification ID

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

Cited In (6)

• Simplifying proofs in Fitch-style natural deduction systems
• Title not available (Why is that?)
• Toward mechanical methods for streamlining proofs
• Title not available (Why is that?)
• Automating Coherent Logic
• A vernacular for coherent logic

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)