A categorical interpretation of C. S. Peirce's propositional logic Alpha

DOI10.1016/S0022-4049(98)00179-0zbMath0953.18002OpenAlexW2017425972MaRDI QIDQ1571062

Geraldine Brady, Todd H. Trimble

Publication date: 2000

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(98)00179-0

zbMATH Keywords

propositional logiclinear logicgeometric representationequational theoryclosed categoriesgraphical interpretationillative transformations

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) History of mathematics in the 19th century (01A55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Logical aspects of Boolean algebras (03G05) Symmetric monoidal categories (19D23)

Related Items (4)

Proof analysis of Peirce's alpha system of graphs ⋮ A New Syntax for Diagrammatic Logic: A Generic Figures Approach ⋮ Unnamed Item ⋮ The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha

This page was built for publication: A categorical interpretation of C. S. Peirce's propositional logic Alpha