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

compound termsdeductive reasoningdiagrammatic methodextended version of Aristotle's syllogisticRelational Conversion

Mathematics Subject Classification ID

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

Review text

The authors present a formal system which is an extended version of Aristotle's syllogistic: four supplementary rules and an axiom (a personal interpretation of Relational Conversion) allow them to manipulate compound terms (by logical operators; relational) in deductive reasoning; the system is exemplified by the diagrammatic method [the authors, ibid. 17, 469-475 (1976; Zbl 0286.02023)].

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

(3)

• Mechanical logic in three-dimensional space
• scientific article; zbMATH DE number 1040355 (Why is no real title available?)
• Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer

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)