The Evil Twin: The Basics of Complement-Toposes
From MaRDI portal
Publication:5241534
DOI10.1007/978-81-322-2719-9_18zbMath1423.03261OpenAlexW2346636064MaRDI QIDQ5241534
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
Related Items (1)
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