aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics

Working with Contradictions — Graham Priest Contradictory Logics and More
Further Reading & Resources:
The Natural Number Game: adam.math.hhu.de/#/g/leanprover-community/nng4
The Xena Project: xenaproject.wordpress.com
Graham Priest: grahampriest.net

Thorsten Altenkirch: cs.nott.ac.uk/~psztxa
Deniz Sarikaya: denizsarikaya.de

Production:
Jan-Niklas Meyer: jammos.com

Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.