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

DOI10.1305/NDJFL/1093870633zbMATH Open0554.03009OpenAlexW1965063011MaRDI QIDQ759743FDOQ759743

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

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

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)

Cited In (4)

• The automation of syllogistic. I: Syllogistic normal forms
• Mechanizing logic. I: Map logic extended formally to relational arguments
• Title not available (Why is that?)
• Goals and benchmarks for automated map reasoning

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)