Hybrid Type Theory: A Quartet in Four Movements DOI:10.5007/1808-1711.2011v15n2p225

Principia: An International Journal of Epistemology 15 (2):225-247 (2011)
  Copy   BIBTEX

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 rather it focusses on the underlying instruments, and the way they work together. We hope the reader will be tempted to sing a long.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 102,020

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-04-12

Downloads
140 (#160,948)

6 months
25 (#128,881)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

María Manzano
Universidad de Salamanca
Patrick Blackburn
Roskilde University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references