An algebraic analysis of categorical syllogisms by using Carroll’s diagrams

DOI10.2298/FIL1902367SMaRDI QIDQ5080304zbMATH OpenOpenAlexFDO

Authors Ibrahim Senturk, Tahsin Öner

Publication date 31 May 2022

Published in Filomat (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2298/fil1902367s

zbMATH Keywords

algebraic logiccategorical syllogismscompletenessvalidity

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites work

• A construction of Heyting algebra on categorical syllogisms
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• An algebraic study of Peterson's intermediate syllogisms
• scientific article; zbMATH DE number 2000104 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• Linear diagrams for syllogisms (with relationals)
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Traffic signal control on similarity logic reasoning.

Cited in

(5)

• A new algorithmic decision for categorical syllogisms via Carroll's diagrams
• A Diagrammatic Calculus of Syllogisms
• AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism
• A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams
• An algebraic study of Peterson's intermediate syllogisms

This page was built for publication: An algebraic analysis of categorical syllogisms by using Carroll’s diagrams

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