Parry syllogisms

DOI10.1305/NDJFL/1022615619MaRDI QIDQ701302zbMATH OpenOpenAlexFDO

Authors 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) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Recommendations

• Syllogisms with fractional quantifiers
• Apodeictic syllogisms: Deductions and decision procedures
• The syllogistic with unity
• scientific article; zbMATH DE number 6131387
• Models for modal syllogisms

Cites work

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

Cited in

(3)

• Apodeictic syllogisms: Deductions and decision procedures
• No Syllogisms for the Numerical Syllogistic
• Tree proofs for syllogistic

This page was built for publication: Parry syllogisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701302)