Strategic construction of Fitch-style proofs

DOI10.1023/A:1005087316935MaRDI QIDQ1577337zbMATH OpenOpenAlexFDO

Authors 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 deductioninteractive proof constructionproof-construction strategiesSymlogtheorem proverunification algorithm

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)

Recommendations

• \textit{Symlog}. Automated advice in Fitch-style proof construction
• The AProS Project: Strategic Thinking & Computational Logic
• Simplifying proofs in Fitch-style natural deduction systems
• scientific article; zbMATH DE number 4072441
• scientific article; zbMATH DE number 3922016

Cited in

(3)

• Building strategies into QBF proofs
• \textit{Symlog}. Automated advice in Fitch-style proof construction
• The AProS Project: Strategic Thinking & Computational Logic

Describes a project that uses

Uses Software

• THINKER

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

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