Machine-checked meta-theory of dual-tableaux for intuitionistic logic

DOI10.1007/978-3-319-97879-6_10zbMATH Open1544.03018MaRDI QIDQ6599616

J. E. Dawson, R. Gore

Publication date: 6 September 2024

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Dual tableaux. Foundations, methodology, case studies
• Proof methods for modal and intuitionistic logics
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• A completeness theorem in modal logic
• Twenty Years of Theorem Proving for HOLs Past, Present and Future
• Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
• Tableaus and dual Tableaus

This page was built for publication: Machine-checked meta-theory of dual-tableaux for intuitionistic logic