Apodeictic syllogisms: Deductions and decision procedures

DOI10.1080/01445349508837237MaRDI QIDQ4857763zbMATH OpenOpenAlexWikidataFDO

Authors Fred Johnson

Publication date 5 December 1995

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445349508837237

zbMATH Keywords

decision proceduresvalidity of Aristotelian assertoric and apodeictic syllogisms

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25)

Recommendations

• Syllogisms with fractional quantifiers
• Models for modal syllogisms
• The decidability of syllogism
• scientific article; zbMATH DE number 2209830
• Parry syllogisms

Cited in

(5)

• Parry syllogisms
• A study of the metatheory of assertoric syllogistic
• Tableau system for logic of categorial propositions and decidability
• Tree proofs for syllogistic
• The decidability of syllogism

This page was built for publication: Apodeictic syllogisms: Deductions and decision procedures

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