17 found
Order:
  1.  38
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  27
    First Order Properties of Relations with the Monotonic Closure Property.George Weaver & Raymond D. Gumb - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (1-3):1-5.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  4
    An Extended Joint Consistency Theorem for Free Logic with Equality.Raymond D. Gumb - 1979 - Notre Dame Journal of Formal Logic 20 (2):321-335.
  4.  29
    The Completeness of Presupposition‐Free Tense Logic.Robert F. Barnes & Raymond D. Gumb - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13‐18):193-208.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Rule-Governed Linguistic Behavior.Raymond D. Gumb - 1972 - The Hague: Mouton.
     
    Export citation  
     
    Bookmark   3 citations  
  6.  50
    “Conservative” Kripke Closures.Raymond D. Gumb - 1984 - Synthese 60 (1):39 - 49.
  7.  9
    Robert W. Floyd and Richard Beigel. The Language of Machines. An Introduction to Computability and Formal Languages. Computer Science Press, New York1994, Xvii + 706 Pp. [REVIEW]Raymond D. Gumb - 1996 - Journal of Symbolic Logic 61 (2):701-703.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    G. Aldo Antonelli. Proto-Semantics for Positive Free Logic. Journal of Philosophical Logic, Vol. 29 , Pp. 277–294.Raymond D. Gumb - 2001 - Bulletin of Symbolic Logic 7 (4):531-532.
  9.  19
    Review: Robert W Floyd, Richard Beigel, The Language of Machines. An Introduction to Computability and Formal Languages. [REVIEW]Raymond D. Gumb - 1996 - Journal of Symbolic Logic 61 (2):701-703.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality.Raymond D. Gumb - 1984 - Journal of Symbolic Logic 49 (1):174-183.
  11.  4
    The Completeness of Presupposition-Free Tense Logic.Robert F. Barnes & Raymond D. Gumb - 1979 - Mathematical Logic Quarterly 25 (13-18):193-208.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  26
    The Lazy Logic of Partial Terms.Raymond D. Gumb - 2002 - Journal of Symbolic Logic 67 (3):1065-1077.
    The Logic of Partial Terms LPT is a strict negative free logic that provides an economical framework for developing many traditional mathematical theories having partial functions. In these traditional theories, all functions and predicates are strict. For example, if a unary function (predicate) is applied to an undefined argument, the result is undefined (respectively, false). On the other hand, every practical programming language incorporates at least one nonstrict or lazy construct, such as the if-then-else, but nonstrict functions cannot be either (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  13.  16
    In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999.Raymond D. Gumb - 2000 - Bulletin of Symbolic Logic 6 (2):230-231.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  14.  7
    Review: G. Aldo Antonelli, Proto-Semantics for Positive Free Logic. [REVIEW]Raymond D. Gumb - 2001 - Bulletin of Symbolic Logic 7 (4):531-532.
  15.  3
    Journal of Philosophical Logic.Raymond D. Gumb - 2001 - Bulletin of Symbolic Logic 7 (4):531-532.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Free Intuitionistic Logic and its S4 Counterpart.Raymond D. Gumb - 1985 - Logique Et Analyse 28 (10):283-294.
     
    Export citation  
     
    Bookmark  
  17. Language and Philosophy.Justus Hartnack & Raymond D. Gumb - 1976 - Mind 85 (339):467-470.
    No categories
     
    Export citation  
     
    Bookmark