Hybrid Type Theory: A Quartet in Four Movements
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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2011-08-01
|
| Series: | Principia: An International Journal of Epistemology |
| Subjects: | |
| Online Access: | http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p225/21038 |