The evil twin: the basics of complement-toposes

DOI10.1007/978-81-322-2719-9_18MaRDI QIDQ5241534zbMATH OpenOpenAlexFDO

Authors 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

complement-toposinternal logicstandard topos

Mathematics Subject Classification ID

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

Recommendations

• Complement-topoi and dual intuitionistic logic
• From (paraconsistent) topos logic to universal (topos) logic
• Internal logic of the H-B topos
• On the structure of universal logic
• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION

Cites work

• A remark on Gentzen's calculus of sequents
• Axiomatic method and category theory
• Bi-Heyting algebras, toposes and modalities
• Complement-topoi and dual intuitionistic logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Dual-intuitionistic logic
• Formal systems for modal operators on locales
• From (paraconsistent) topos logic to universal (topos) logic
• Grothendieck Topology as Geometric Modality
• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 5997433 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 19495 (Why is no real title available?)
• scientific article; zbMATH DE number 19500 (Why is no real title available?)
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3548980 (Why is no real title available?)
• scientific article; zbMATH DE number 3567031 (Why is no real title available?)
• scientific article; zbMATH DE number 2020147 (Why is no real title available?)
• scientific article; zbMATH DE number 6985461 (Why is no real title available?)
• scientific article; zbMATH DE number 1913781 (Why is no real title available?)
• scientific article; zbMATH DE number 776168 (Why is no real title available?)
• scientific article; zbMATH DE number 782632 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 5593534 (Why is no real title available?)
• scientific article; zbMATH DE number 3385864 (Why is no real title available?)
• scientific article; zbMATH DE number 3394385 (Why is no real title available?)
• scientific article; zbMATH DE number 5180960 (Why is no real title available?)
• Les algèbres de Heyting-Brouwer et de Łukasiewicz trivalentes
• Modal operators on Heyting algebras
• Models of possibilism and trivialism
• New dimensions on translations between logics
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Sheaves in geometry and logic: a first introduction to topos theory
• Some theorems about the sentential calculi of Lewis and Heyting
• Structure in Mathematics and Logic: A Categorical Perspective
• Structuring the universe of universal logic
• The Logic of Contradiction
• Topoi. The categorial analysis of logic. Rev. ed

Cited in

(6)

• Complement-topoi and dual intuitionistic logic
• From (paraconsistent) topos logic to universal (topos) logic
• Internal logic of the H-B topos
• Connexive negation
• Changing the logic without changing the subject: the case of computability
• Extending computational trinitarianism

This page was built for publication: The evil twin: the basics of complement-toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5241534)