Series | Book
Logical studies of paraconsistent reasoning in science and mathematics
Details | Table of Contents
Paraconsistent reasoning in science and mathematics
introduction
pp.1-16
https://doi.org/10.1007/978-3-319-40220-8_1
Adaptive proofs for networks of partial structures
pp.17-45
https://doi.org/10.1007/978-3-319-40220-8_2
Contradictoriness, paraconsistent negation and non-intended models of classical logic
pp.103-109
https://doi.org/10.1007/978-3-319-40220-8_7
From paraconsistent logic to dialetheic logic
pp.111-134
https://doi.org/10.1007/978-3-319-40220-8_8
Dialetheism in the structure of phenomenal time
pp.145-157
https://doi.org/10.1007/978-3-319-40220-8_10
Saving proof from paradox
Gödel's paradox and the inconsistency of informal mathematics
pp.159-173
https://doi.org/10.1007/978-3-319-40220-8_11Publication details
Publisher: Springer
Place: Dordrecht
Year: 2016
Pages: 221
Series: Trends in logic
Series volume: 45
ISBN (hardback): 978-3-319-40218-5
ISBN (digital): 978-3-319-40220-8
Full citation:
Andreas Holger, Verdée Peter (2016) Logical studies of paraconsistent reasoning in science and mathematics. Dordrecht, Springer.