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
Logical studies of paraconsistent reasoning in science and mathematics
2016
with Andreas Holger (ed)
Dordrecht, Springer
Adaptive logics using the minimal abnormality strategy are Pi11 -complex
2009
Synthese 167/1