LIBROS DEL AUTOR: m fitting

3 resultados para LIBROS DEL AUTOR: m fitting

m fitting Eliminar filtro Quitar filtros
  • Types, Tableaus, and Gödel’s God
    M. Fitting
    Gödel’s modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Fin...
    Disponible

    134,35 €

  • Proof Methods for Modal and Intuitionistic Logics
    M. Fitting
    'Necessity is the mother of invention. ' Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for ...
    Disponible

    267,88 €

  • Incompleteness in the Land of Sets
    M. Fitting / MFitting
    Russell’s paradox arises when we consider those sets that do not belong to themselves. The collection of such sets cannot constitute a set. Step back a bit. Logical formulas define sets (in a standard model). Formulas, being mathematical objects, can be thought of as sets themselves-mathematics reduces to set theory. Consider those formulas that do not belong to the set th...
    Disponible

    41,96 €