- 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 - 9 of 9
-
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)
-
ItemTruth values and proof theoryRestall, G (Springer Science and Business Media LLC, 2009-07-01)
-
ItemOn Permutation in Simplified SemanticsRestall, G ; Roy, T (SPRINGER, 2009-06)
-
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)
-
ItemRELEVANT AND SUBSTRUCTURAL LOGICSRestall, G ; Gabbay, DM ; Woods, J (ELSEVIER SCIENCE BV, 2006)
-
ItemNo Preview AvailableRelevant restricted quantificationBeall, JC ; Brady, RT ; Hazen, AP ; Priest, G ; Restall, G (SPRINGER, 2006-12)