Minlog: A minimal logic theorem prover

DOI10.1007/3-540-63104-6_27zbMath1430.68424OpenAlexW1567879936MaRDI QIDQ5234710

John K. Slaney

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63104-6_27

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Minlog

Cites Work

• Intuitionism. An introduction
• Contraction-free sequent calculi for intuitionistic logic
• Unnamed Item

This page was built for publication: Minlog: A minimal logic theorem prover