Structuring the universe of universal logic

DOI10.1007/S11787-007-0014-YMaRDI QIDQ2470759zbMATH OpenOpenAlexFDO

Authors 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

coproductsproductslogical systemfibringcoexponentialscombinations of logical systemscomplement topos

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• On the structure of universal logic
• Fibring of logics as a categorial construction
• The inner logic of universal logic
• Categorical abstract algebraic logic: meet-combination of logical systems
• On categorial combination of logics

Cited in

(11)

• Universal algebraic logic. Dedicated to the unity of science
• On Metalogical Relativism
• Left exact logic
• On the structure of universal logic
• The inner logic of universal logic
• scientific article; zbMATH DE number 5242534 (Why is no real title available?)
• The evil twin: the basics of complement-toposes
• Logics and Their Galaxies
• The Universal Theory Tool Building Toolkit Is Substructural
• The problem of context of interpretation in universal logic
• From (paraconsistent) topos logic to universal (topos) logic

This page was built for publication: Structuring the universe of universal logic

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