Strategic construction of Fitch-style proofs

From MaRDI portal

Publication:1577337

Jump to:navigation, search

DOI10.1023/A:1005087316935zbMath0954.03014OpenAlexW1490467704MaRDI QIDQ1577337

Frederic D. Portoraro

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:1005087316935

zbMATH Keywords

Fitch-style natural deduction theorem prover unification algorithm interactive proof construction proof-construction strategies Symlog

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mechanization of proofs and logical operations (03B35) Problem books, competitions, examinations (aspects of mathematics education) (97U40)

Uses Software

Unnamed Item

This page was built for publication: Strategic construction of Fitch-style proofs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1577337&oldid=13860296"