Abstract.
How, why and what for we should combine logics is perfectly well explained in a number of works concerning this issue. But the interesting question seems to be the nature and the structure of the general universe of possible combinations of logical systems. Adopting the point of view of universal logic in the paper the categorical constructions are introduced which along with the coproducts underlying the fibring of logics describe the inner structure of the category of logical systems. It is shown that categorically the universe of universal logic turns out to be a topos and a paraconsistent complement topos.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by Russian Foundation for Humanities via the Project ”The structure of Universal Logics”, grant No 06-03-00195a.
Rights and permissions
About this article
Cite this article
Vasyukov, V.L. Structuring the Universe of Universal Logic. Log. univers. 1, 277–294 (2007). https://doi.org/10.1007/s11787-007-0014-y
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11787-007-0014-y