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

DOI10.1305/NDJFL/1093870633MaRDI QIDQ759743zbMATH OpenOpenAlexFDO

Authors J. M. Rybak, John 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

deductive reasoningcomputer programalgorithmic syllogistic methoddiagrammatic method

Mathematics Subject Classification ID

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

Recommendations

• Mechanizing logic. I: Map logic extended formally to relational arguments
• Mechanizing logical relations
• Mechanizing proofs with logical relations -- Kripke-style
• scientific article; zbMATH DE number 3904558
• scientific article; zbMATH DE number 3972241
• The automation of syllogistic. II: Optimization and complexity issues
• An introduction to mechanized reasoning
• scientific article; zbMATH DE number 1209602
• Relating logic programs via program maps

Cited in

(4)

• Goals and benchmarks for automated map reasoning
• Mechanizing logic. I: Map logic extended formally to relational arguments
• scientific article; zbMATH DE number 1778925 (Why is no real title available?)
• The automation of syllogistic. I: Syllogistic normal forms

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

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