124414

Key references

Luis Estrada-González

Prospects for triviality

2016

in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer

Open Access Link
From (paraconsistent) topos logic to universal (topos) logic

2015

in: The road to universal logic II, Basel : Birkhäuser

Open Access Link