Hybrid Type Theory: A Quartet in Four Movements

C. Areces, P. Blackburn, A. Huertas, and M. Manzano. Hybrid Type Theory: A Quartet in Four Movements. Principia, 15(2):225–247, 2011.

Download

[pdf] 

Abstract

This paper sings a song -- a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities (these can be found in Areces, Blackburn, Huertas, and Manzano [to appear]) rather it focusses on the underlying instruments, and the way they work together. We hope the reader will be tempted to sing along.

BibTeX

@Article{Areces2011,
  author =       "C. Areces and P. Blackburn and A. Huertas and M.
                 Manzano",
  journal =      "Principia",
  title =        "Hybrid Type Theory: {A} Quartet in Four Movements",
  year =         "2011",
  number =       "2",
  pages =        "225--247",
  volume =       "15",
  abstract =     "This paper sings a song -- a song created by bringing
                 together the work of four great names in the history of
                 logic: Hans Reichenbach, Arthur Prior, Richard
                 Montague, and Leon Henkin. Although the work of the
                 first three of these authors have previously been
                 combined, adding the ideas of Leon Henkin is the
                 addition required to make the combination work at the
                 logical level. But the present paper does not focus on
                 the underlying technicalities (these can be found in
                 Areces, Blackburn, Huertas, and Manzano [to appear])
                 rather it focusses on the underlying instruments, and
                 the way they work together. We hope the reader will be
                 tempted to sing along.",
  owner =        "areces",
  timestamp =    "2012.06.05",
}