Parry syllogisms

DOI10.1305/NDJFL/1022615619zbMath1007.03007OpenAlexW4242480851MaRDI QIDQ701302

Fred Johnson

Publication date: 23 October 2002

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

Full work available at URL: https://hdl.handle.net/10217/198388

zbMATH Keywords

decision procedureextension of Aristotle's syllogisticnontraditional quantifiers

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Three-membered domains for Aristotle's syllogistic
• What is a syllogism?

This page was built for publication: Parry syllogisms