aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics

Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
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.