Structuring the universe of universal logic
From MaRDI portal
Publication:2470759
DOI10.1007/S11787-007-0014-YzbMath1149.03013OpenAlexW2063404822MaRDI QIDQ2470759
Publication date: 15 February 2008
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-007-0014-y
coproductslogical systemproductsfibringcoexponentialscombinations of logical systemscomplement topos
Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract deductive systems (03B22)
Related Items (3)
From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ On Metalogical Relativism
This page was built for publication: Structuring the universe of universal logic