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

DOI10.1305/NDJFL/1093870632MaRDI QIDQ759742zbMATH OpenOpenAlexFDO

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

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)

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

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)