Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.
    This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...)
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Semantics and the liar paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property.José Martínez Fernández - 2007 - Notre Dame Journal of Formal Logic 48 (4):449-472.
    This paper gives a propositional reformulation of the fixed-point problem posed by Gupta and Belnap, using the stipulation logic of Visser. After presenting a solution for clones of three-valued operators that include the constant functions, I determine the maximal three-valued clones with constants that have the fixed-point property, giving different characterizations of them.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   884 citations  
  • The Revision Theory of Truth.Anil Gupta & Nuel D. Belnap - 1993 - MIT Press.
    In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..
    Download  
     
    Export citation  
     
    Bookmark   217 citations  
  • Handbook of Philosophical Logic.[author unknown] - 1983 - .
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • The Revision Theory of Truth. [REVIEW]Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • Kleene's three valued logics and their children.Melvin Fitting - unknown
    Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective into Belnap’s logic and consider a few of its properties. Then we show that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available. We propose an extension of these ideas to the family of distributive bilattices. Finally we show that for bilinear bilattices the extensions do not produce any new equivalences.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • (1 other version)Meaning and Partiality.Reinhard Muskens - 1989 - Dissertation, University of Amsterdam
    Download  
     
    Export citation  
     
    Bookmark   49 citations