Structuring the universe of universal logic

Logica Universalis 1 (2):277-294 (2007)
  Copy   BIBTEX


.  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.



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

53 (#302,735)

6 months
5 (#648,018)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vladimir Vasyukov
Russian Academy of Sciences

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Foreword. [REVIEW]J. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):3-12.

Add more references