Repository | Book | Chapter
(2015) The road to universal logic II, Basel, Birkhäuser.
In this chapter, I describe how complement toposes, with their paraconsistent internal logic, lead to a more abstract theory of topos logic. Béziau's work in Universal Logic – including his ideas on logical structures, axiomatic emptiness and on logical many-valuedness – is central in this shift and therefore it is with great pleasure that I wrote this chapter for the present commemorative volume.
Publication details
DOI: 10.1007/978-3-319-15368-1_12
Full citation:
Estrada-González, L. (2015)., From (paraconsistent) topos logic to universal (topos) logic, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 263-295.
This document is unfortunately not available for download at the moment.