Luis Estrada-González
(2010-2019)
XFrom (paraconsistent) topos logic to universal (topos) logic
2015
in: The road to universal logic II, Basel : Birkhäuser
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer