School of Historical and Philosophical Studies - Research Publications

Permanent URI for this collection

http://hdl.handle.net/11343/398

Filters

2005 - 2009 3
Reset filters

Settings
Statistics
Citations
End date: 2009 × Type: Journal Article × Subject: Philosophy × Author: Restall, Gregory ×

Search Results

Now showing 1 - 3 of 3
  • Item
    Thumbnail Image
    Truth values and proof theory
    Restall, G (Springer Science and Business Media LLC, 2009-07-01)
  • Item
    Thumbnail Image
    Constant domain quantified modal logics without Boolean negation
    RESTALL, GA (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.
  • Item
    Thumbnail Image
    MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH
    Restall, G (CAMBRIDGE UNIV PRESS, 2008-08)