Internalisation of the deducibility relation: the role of deduction theorems and modal logic
Second-year master’s thesis, Université Paris 1 Panthéon-Sorbonne, 2017
Ian Shillito
he/him
Logician formalising in Rocq
- Melbourne, Australia
- University of Melbourne
- Google Scholar
- ORCID
- GitHub