A desk-top sequent calculus machine

DOI10.1007/3-540-57322-4_16MaRDI QIDQ4265395zbMATH OpenFDO

Authors Gianna Cioni, Alfonso Miola, Attilio Colagrossi

Publication date 12 October 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57322-4_16

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• A sequent calculus machine for symbolic computation systems
• Deduction and abduction using a sequent calculus
• A sequent calculus for automated reasoning in symbolic computation systems
• scientific article; zbMATH DE number 2120024

Cited in

(1)

• A sequent calculus machine for symbolic computation systems

This page was built for publication: A desk-top sequent calculus machine

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