Structuring the universe of universal logic

DOI10.1007/S11787-007-0014-YzbMath1149.03013OpenAlexW2063404822MaRDI QIDQ2470759

Vladimir L. Vasyukov

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

zbMATH Keywords

coproductslogical systemproductsfibringcoexponentialscombinations of logical systemscomplement topos

Mathematics Subject Classification ID

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