From (Paraconsistent) Topos Logic to Universal (Topos) Logic

DOI10.1007/978-3-319-15368-1_12zbMath1376.03059OpenAlexW979536115MaRDI QIDQ5350337

Luis Estrada-González

Publication date: 28 August 2017

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15368-1_12

zbMATH Keywords

complement-toposstandard toposbare internal logicbare topos

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Topoi (18B25) Paraconsistent logics (03B53)

Related Items

The Evil Twin: The Basics of Complement-Toposes ⋮ Structuring co-constructive logic for proofs and refutations

Cites Work

• Topoi. The categorial analysis of logic. Rev. ed
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Sheaves in geometry and logic: a first introduction to topos theory
• Formal systems for modal operators on locales
• Many-valued logics and Suszko's thesis revisited
• Bi-Heyting algebras, toposes and modalities
• Structuring the universe of universal logic
• Structure in Mathematics and Logic: A Categorical Perspective
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item