Mechanizing logic. I: Map logic extended formally to relational arguments

DOI10.1305/NDJFL/1093870632zbMATH Open0554.03008OpenAlexW2040111752MaRDI QIDQ759742FDOQ759742

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

Recommendations

• Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer
• scientific article; zbMATH DE number 6131387
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• A system of relational syllogistic incorporating full Boolean reasoning
• Computation of Aristotle's and Gergonne's syllogisms

zbMATH Keywords

deductive reasoningcompound termsdiagrammatic methodextended version of Aristotle's syllogisticRelational Conversion

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer
• Mechanical logic in three-dimensional space

This page was built for publication: Mechanizing logic. I: Map logic extended formally to relational arguments

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