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

DOI10.1007/978-3-319-15368-1_12zbMATH Open1376.03059OpenAlexW979536115MaRDI QIDQ5350337FDOQ5350337

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

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

zbMATH Keywords

complement-toposstandard toposbare internal logicbare topos

Mathematics Subject Classification ID

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

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Complement-topoi and dual intuitionistic logic
• Title not available (Why is that?)
• Structure in Mathematics and Logic: A Categorical Perspective
• Title not available (Why is that?)
• Bi-Heyting algebras, toposes and modalities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topoi. The categorial analysis of logic. Rev. ed
• Many-valued logics and Suszko's thesis revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal systems for modal operators on locales
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Structuring the universe of universal logic
• Fifty (more or less) shades of logical consequence
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Structuring co-constructive logic for proofs and refutations
• 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
• The evil twin: the basics of complement-toposes
• Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

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)