The Evil Twin: The Basics of Complement-Toposes

DOI10.1007/978-81-322-2719-9_18zbMath1423.03261OpenAlexW2346636064MaRDI QIDQ5241534

Luis Estrada-González

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_18

zbMATH Keywords

internal logiccomplement-toposstandard topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Paraconsistent logics (03B53)

Related Items (1)

Connexive negation

Cites Work

• Topoi. The categorial analysis of logic. Rev. ed
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Modal operators on Heyting algebras
• Sheaves in geometry and logic: a first introduction to topos theory
• Les algèbres de Heyting-Brouwer et de Łukasiewicz trivalentes
• A remark on Gentzen's calculus of sequents
• Formal systems for modal operators on locales
• Dual-intuitionistic logic
• Bi-Heyting algebras, toposes and modalities
• New dimensions on translations between logics
• Axiomatic method and category theory
• Structuring the universe of universal logic
• The Logic of Contradiction
• Grothendieck Topology as Geometric Modality
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Structure in Mathematics and Logic: A Categorical Perspective
• From (Paraconsistent) Topos Logic to Universal (Topos) Logic
• Some theorems about the sentential calculi of Lewis and Heyting
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Evil Twin: The Basics of Complement-Toposes