Press-ready deduction trees in classical logic using point-plus-expressions

MaRDI QIDQ2898819zbMATH OpenFDO

Authors Tamás Kádek

Publication date 12 July 2012

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

mathematical logicmechanical theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• CEDRICS: when CEDRAM meets Tralics
• scientific article; zbMATH DE number 3922016
• scientific article; zbMATH DE number 517011
• Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999)
• scientific article; zbMATH DE number 4022664

Cited in

(1)

• GenTreeCad

Describes a project that uses

Uses Software

• LaTeX

This page was built for publication: Press-ready deduction trees in classical logic using point-plus-expressions

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