
Publication details
Publisher: Springer
Place: Berlin
Year: 2016
Series: Trends in logic
ISBN (Hardback): 9783319402185
ISBN (eBook): 9783319402208
Full citation:
Holger Andreas, Peter Verdée (eds), Logical studies of paraconsistent reasoning in science and mathematics, Berlin, Springer, 2016
Logical studies of paraconsistent reasoning in science and mathematics
Contents
Contradictoriness, paraconsistent negation and non-intended models of classical logic
Carlos A. Oller
103-109
Saving proof from paradox
Gödel's paradox and the inconsistency of informal mathematics
Fenner Stanley Tanswell
159-173