Automated natural deduction in THINKER

DOI10.1023/A:1005035316026zbMath0954.03013OpenAlexW1547852509MaRDI QIDQ1577335

Francis Jeffry Pelletier

Publication date: 14 February 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005035316026

zbMATH Keywords

direct theorem proving system for first order logic with identitynatural deduction theorem proving system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Simplifying proofs in Fitch-style natural deduction systems, Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis, The Epistemology of Computer-Mediated Proofs, Human-centered automated proof search

Uses Software

• THINKER