School of Historical and Philosophical Studies - Research Publications

Permanent URI for this collection

Now showing 1 - 10 of 16

Proof Theory and Meaning: on second order logic

RESTALL, G (Filosofia, 2008)
Multiple conclusions

RESTALL, GA (King's College Publications, 2005)
Decorated Linear Order Types and the Theory of Concatenation

RESTALL, G ; Cacic, ; Pudlak, ; Urquhart, ; Visser, (Cambridge University Press, 2010)
Proof Theory and Meaning: the context of deducibility

RESTALL, G (Cambridge University Press, 2010)
Proofnets for S5: sequents and circuits for modal logic

RESTALL, G ; Dimitracopoulos, C ; Newelski, L ; Normann, D ; Steel, J (Cambridge University Press, 2008)
Truth-makers, entailment and necessity

Restall, G ; Lowe, EJ ; Rami, A (Acumen Publishing Limited, 2011-01-01)
What are we to accept, and what are we to reject, while saving truth from paradox?

Restall, G (SPRINGER, 2010-02-01)
Truth values and proof theory

Restall, G (Springer Science and Business Media LLC, 2009-07-01)
Minimalists about truth can (and should) be epistemicists, and it helps if they are revision theorists too

RESTALL, GA ; BEALL, JC ; ARMOUR-GARB, B (Oxford University Press, 2005)
Always more

Restall, G ; Pelis, M (COLLEGE PUBLICATIONS, 2010-01-01)