The Life and Work of Leon Henkin, 2014 Essays on His Contributions Studies in Universal Logic Series
Coordonnateurs : Manzano María, Sain Ildikó, Alonso Enrique
Part I Biographical Studies.- Leon Henkin.- Lessons from Leon.- Tracing back “Logic in Wonderland” to my work with Leon Henkin.- Henkin and the Suit.- A Fortuitous Year with Leon Henkin.- Leon Henkin and a Life of Service.- Part II Henkin‘s Contribution to XX Century Logic.- Leon Henkin and Cylindric Algebras.- A Bit of History Related to Logic Based on Equality.- Pairing Logical and Pedagogical Foundations for the Theory of Positive Rational Numbers. Henkin‘s unfinished work.- Leon Henkin the Reviewer.- Henkin‘s Theorem in Textbooks.- Henkin on Completeness.- Part III Extensions and Perspectives in Henkin‘s Work.- The Countable Henkin Principle.- Reflections on a Theorem of Henkin.- Henkin‘s Completeness Proof and Glivenko‘s Theorem.- From Classical to Fuzzy Type Theory.- The Henkin Sentence.- April the 19th.- Henkin and Hybrid Logic.- Changing a Semantics: Oportunism or Courage?.- Appendix Curriculum Vitae: Leon Henkin.
Date de parution : 11-2014
Ouvrage de 351 p.
16.8x24 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panier