From (paraconsistent) topos logic to universal (topos) logic

DOI10.1007/978-3-319-15368-1_12MaRDI QIDQ5350337zbMATH OpenOpenAlexFDO

Authors 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

bare internal logicbare toposcomplement-toposstandard topos

Mathematics Subject Classification ID

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

Recommendations

• On the structure of universal logic
• The evil twin: the basics of complement-toposes
• Structuring the universe of universal logic
• Internal logic of the H-B topos
• The relation between logic, set theory and topos theory as it is used by Alain Badiou

Cites work

• Bi-Heyting algebras, toposes and modalities
• Complement-topoi and dual intuitionistic logic
• Fifty (more or less) shades of logical consequence
• Formal systems for modal operators on locales
• scientific article; zbMATH DE number 3739504 (Why is no real title available?)
• scientific article; zbMATH DE number 19495 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3540786 (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 3435458 (Why is no real title available?)
• scientific article; zbMATH DE number 2020147 (Why is no real title available?)
• scientific article; zbMATH DE number 2170851 (Why is no real title available?)
• scientific article; zbMATH DE number 1913781 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (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 5180960 (Why is no real title available?)
• Many-valued logics and Suszko's thesis revisited
• Sheaves in geometry and logic: a first introduction to topos theory
• Structure in Mathematics and Logic: A Categorical Perspective
• Structuring the universe of universal logic
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Topoi. The categorial analysis of logic. Rev. ed

Cited in

(8)

• Structuring co-constructive logic for proofs and refutations
• Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics
• The evil twin: the basics of complement-toposes
• The relation between logic, set theory and topos theory as it is used by Alain Badiou
• On the structure of universal logic
• Internal logic of the H-B topos
• Changing the logic without changing the subject: the case of computability
• Extending computational trinitarianism

This page was built for publication: From (paraconsistent) topos logic to universal (topos) logic

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