Apodeictic syllogisms: Deductions and decision procedures

DOI10.1080/01445349508837237zbMATH Open0832.03006OpenAlexW2038972341WikidataQ58355974 ScholiaQ58355974MaRDI QIDQ4857763FDOQ4857763

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

Recommendations

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

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)

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)