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

DOI10.1305/NDJFL/1093870632zbMath0554.03008OpenAlexW2040111752MaRDI QIDQ759742

John Rybak, Janet 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

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

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