Aristotle, Boole, and Categories

DOI10.1007/978-3-319-47843-2_16zbMath1437.03187OpenAlexW2593641697MaRDI QIDQ3299850

Vaughan R. Pratt

Publication date: 27 July 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47843-2_16

zbMATH Keywords

algebraic theoriessyllogismscategory-theoretic semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Abstract algebraic logic (03G27)

Related Items (2)

Existential Import and an Unnecessary Restriction on Predicate Logics ⋮ The Four Essential Aristotelian Syllogisms, via Substitution and Symmetry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Things that are right with the traditional square of opposition
• Every Prime Has a Succinct Certificate
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• The Theory of Representation for Boolean Algebras

This page was built for publication: Aristotle, Boole, and Categories