AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism

DOI10.1305/ndjfl/1039118872zbMath1002.03518OpenAlexW2005344054MaRDI QIDQ5937840

Mario Savio

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039118872

zbMATH Keywords

technique for checking the validity of syllogisms

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Syllogistic with Jigsaw Puzzle Diagrams

Uses Software

• Hyperproof

Cites Work

• Linear diagrams for syllogisms (with relationals)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism