Hybrid Type Theory: A Quartet in Four Movements
Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2011-05-01
|
| Series: | Principia: An International Journal of Epistemology |
| Subjects: | |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/23368 |