Switch to: References

Add citations

You must login to add citations.
  1. “Conservative” Kripke closures.Raymond D. Gumb - 1984 - Synthese 60 (1):39 - 49.
    Download  
     
    Export citation  
     
    Bookmark  
  • An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions.Raymond D. Gumb - 2001 - Studia Logica 69 (2):279-292.
    The logic of partial terms (LPT) is a variety of negative free logic in which functions, as well as predicates, are strict. A companion paper focused on nonconstructive LPTwith definite descriptions, called LPD, and laid the foundation for tableaux systems by defining the concept of an LPDmodel system and establishing Hintikka's Lemma, from which the strong completeness of the corresponding tableaux system readily follows. The present paper utilizes the tableaux system in establishing an Extended Joint Consistency Theorem for LPDthat incorporates (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations