Hybrid Type Theory: A Quartet in Four Movements

Areces, C., Blackburn, P., Huertas, A., and Manzano, M.. 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: (download)

@ARTICLE{arec:hybr11,
  author = {Areces, C. and Blackburn, P. and Huertas, A. and Manzano, M.},
  title = {Hybrid Type Theory: A Quartet in Four Movements},
  journal = {Principia},
  year = {2011},
  volume = {15},
  pages = {225-247},
  number = {2},
  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}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49