Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer

DOI10.1305/NDJFL/1093870633zbMath0554.03009OpenAlexW1965063011MaRDI QIDQ759743

John Rybak, Janet Rybak

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870633

zbMATH Keywords

computer programdeductive reasoningalgorithmic syllogistic methoddiagrammatic method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

This page was built for publication: Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer