- School of Historical and Philosophical Studies - Research Publications
School of Historical and Philosophical Studies - Research Publications
Permanent URI for this collection
Search Results
Now showing
1 - 5 of 5
-
ItemProof Theory and Meaning: on second order logicRESTALL, G (Filosofia, 2008)
-
ItemProofnets for S5: sequents and circuits for modal logicRESTALL, G ; Dimitracopoulos, C ; Newelski, L ; Normann, D ; Steel, J (Cambridge University Press, 2008)
-
ItemMODELS FOR LIARS IN BRADWARDINE'S THEORY OF TRUTHRestall, G ; Rahman, S ; Tulenheimo, T ; Genot, E (SPRINGER, 2008)
-
ItemCurry's Revenge: the costs of non-classical solutions to the paradoxes of self-referenceRESTALL, G (Oxford University Press, 2008)
-
ItemMODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTHRestall, G (CAMBRIDGE UNIV PRESS, 2008-08)