School of Historical and Philosophical Studies - Research Publications
Permanent URI for this collection
Search Results
1 - 10 of 11
-
ItemWhat are we to accept, and what are we to reject, while saving truth from paradox?(SPRINGER, 2010-02-01)
-
ItemTruth values and proof theory(Springer Science and Business Media LLC, 2009-07-01)
-
ItemOn Permutation in Simplified Semantics(SPRINGER, 2009-06-01)
-
ItemConstant domain quantified modal logics without Boolean negation(Victoria University of Wellington, 2005)This paper provides a sound and complete axiomatisation for constant domain modal logics without Boolean negation. This is a simpler case of the difficult problem of providing a sound and complete axiomatisation for constant-domain quantified relevant logics, which can be seen as a kind of modal logic with a twoplace modal operator, the relevant conditional. The completeness proof is adapted from a proof for classical modal predicate logic (I follow James Garson’s presentation of the completeness proof quite closely [10]), but with an important twist, to do with the absence of Boolean negation.
-
ItemOn t and u, and what they can do(OXFORD UNIV PRESS, 2010-10-01)
-
ItemMODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH(CAMBRIDGE UNIV PRESS, 2008-08-01)
-
ItemNo Preview AvailableOne way to face facts(BLACKWELL PUBL LTD, 2004-07-01)
-
ItemNo Preview Available
-
ItemNo Preview AvailableJust What Is Full-Blooded Platonism?†(Oxford University Press (OUP), 2003-02-01)
-
ItemNo Preview AvailableRelevant restricted quantification(SPRINGER, 2006-12-01)