The life and work of leon henkin : essays on his contributions /
edited by María Manzano, Ildikó Sain, Enrique Alonso.
- xxii, 351 páginas : 14 ilustraciones, 1 ilustraciones en color.
- Studies in Universal Logic, 2297-0282 .
Springer eBooks
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.