From (paraconsistent) topos logic to universal (topos) logic

Luis Estrada-González

pp. 263-295

in: Arnold Koslow, Arthur Buchsbaum (eds), The road to universal logic II, Basel, Birkhäuser, 2015

Abstract

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.