
References
Peter Verdée
Adaptive proofs for networks of partial structures
2016
with Andreas Holger
in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer

Paraconsistent reasoning in science and mathematics: introduction
2016
with Andreas Holger
in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer


2016
with Andreas Holger (ed)
Dordrecht, Springer
Adaptive logics using the minimal abnormality strategy are Pi11 -complex
2009
Synthese 167/1
