5 found
Order:
Disambiguations
Melvin Chris Fitting [4]Melvin C. Fitting [3]
  1.  14
    First-Order Modal Logic.Melvin Chris Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  2.  24
    Intuitionistic Logic, Model Theory and Forcing.Melvin Chris Fitting - 1969 - Amsterdam: North-Holland Pub. Co..
  3.  75
    Many-Valued Modal Logics.Melvin C. Fitting - unknown
    Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and completeness are established.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   43 citations  
  4.  30
    Well-Founded Semantics, Generalized.Melvin C. Fitting - unknown
    Classical fixpoint semantics for logic programs is based on the TP immediate consequence operator. The Kripke/Kleene, three-valued, semantics uses ΦP, which extends TP to Kleene’s strong three-valued logic. Both these approaches generalize to cover logic programming systems based on a wide class of logics, provided only that the underlying structure be that of a bilattice. This was presented in earlier papers. Recently well-founded semantics has become influential for classical logic programs. We show how the well-founded approach also extends naturally to (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  5.  22
    An Axiomatic Approach to Computers.Melvin C. Fitting - 1979 - Theoria 45 (3):97-113.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark