Symlog automated advice in Fitch-style proof construction

DOI10.1007/3-540-58156-1_64zbMath1433.97005OpenAlexW1719594331MaRDI QIDQ5210814

Frederic D. Portoraro

Publication date: 21 January 2020

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

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_64

Mathematics Subject Classification ID

Logic (educational aspects) (97E30) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Symlog

Uses Software

• THINKER

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Symlog automated advice in Fitch-style proof construction