Switch to: References

Add citations

You must login to add citations.
  1. Truth‐value relations and logical relations.Lloyd Humberstone - 2023 - Theoria 89 (1):124-147.
    After some generalities about connections between functions and relations in Sections 1 and 2 recalls the possibility of taking the semantic values of ‐ary Boolean connectives as ‐ary relations among truth‐values rather than as ‐ary truth functions. Section 3, the bulk of the paper, looks at correlates of these truth‐value relations as applied to formulas, and explores in a preliminary way how their properties are related to the properties of “logical relations” among formulas such as equivalence, implication (entailment) and contrariety (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An integrated framework for ought-to-be and ought-to-do constraints.P. D'Altan, J.-J. Ch Meyer & R. J. Wieringa - 1996 - Artificial Intelligence and Law 4 (2):77-111.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Choice of primitives: A note on axiomatizing intuitionistic logic.I. L. Humberstone - 1998 - History and Philosophy of Logic 19 (1):31-40.
    A purported axiomatization, by P. Gärdenfors, of intuitionistic propositional logic is shown to be incomplete, and that the mistaken claim to completeness is seen to result from carelessness in the choice of primitive logical vocabulary. This leads to a consideration of various ways of conceiving the distinction between primitive and defined vocabularies, along with the bearing of these differences on such matters as are discussed in connection with Gärdenfors.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.
    Jean-Yves Béziau (‘Classical Negation can be Expressed by One of its Halves’, Logic Journal of the IGPL 7 (1999), 145–151) has given an especially clear example of a phenomenon he considers a sufficiently puzzling to call the ‘paradox of translation’: the existence of pairs of logics, one logic being strictly weaker than another and yet such that the stronger logic can be embedded within it under a faithful translation. We elaborate on Béziau’s example, which concerns classical negation, as well as (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations