- School of Historical and Philosophical Studies - Research Publications
School of Historical and Philosophical Studies - Research Publications
Permanent URI for this collection
13 results
Filters
Reset filtersSettings
Statistics
Citations
Search Results
Now showing
1 - 10 of 13
-
ItemProof Theory and Meaning: on second order logicRESTALL, G (Filosofia, 2008)
-
ItemDecorated Linear Order Types and the Theory of ConcatenationRESTALL, G ; Cacic, ; Pudlak, ; Urquhart, ; Visser, (Cambridge University Press, 2010)
-
ItemProof Theory and Meaning: the context of deducibilityRESTALL, G (Cambridge University Press, 2010)
-
ItemProofnets for S5: sequents and circuits for modal logicRESTALL, G ; Dimitracopoulos, C ; Newelski, L ; Normann, D ; Steel, J (Cambridge University Press, 2008)
-
ItemTruth-makers, entailment and necessityRestall, G ; Lowe, EJ ; Rami, A (Acumen Publishing Limited, 2011-01-01)
-
ItemWhat are we to accept, and what are we to reject, while saving truth from paradox?Restall, G (SPRINGER, 2010-02)
-
ItemTruth values and proof theoryRestall, G (Springer Science and Business Media LLC, 2009-07-01)
-
ItemAlways moreRestall, G ; Pelis, M (COLLEGE PUBLICATIONS, 2010)
-
ItemBarriers to ImplicationRESTALL, G ; Russell, ; Pigden, (Palgrave Macmillan, 2010)
-
ItemMODELS FOR LIARS IN BRADWARDINE'S THEORY OF TRUTHRestall, G ; Rahman, S ; Tulenheimo, T ; Genot, E (SPRINGER, 2008)