From (Paraconsistent) Topos Logic to Universal (Topos) Logic
2015 ◽
pp. 263-295
◽