Hybrid type theory: a quartet in four movements

1. Areces, Carlos
2. Blackburn, Patrick
3. Huertas Sánchez, María Antonia
4. Manzano Arjona, María Gracia

Exportieren

Exportieren

×

MLA

modern-language-association

APA

apa

Chicago

chicago-fullnote-bibliography

Harvard

harvard-cite-them-right

Vancouver

vancouver-author-date

---

RIS BibTex

Exportieren

×

Das Dokument kann nicht exportiert werden, da es zu einem anderen Portal gehört.

Volltext

lock_openDialnet dialnet

DIALNET GOOGLE SCHOLAR lock_openDialnet editor

Andere Publikationen in: Principia: an international journal of epistemology

Zusammenfassung

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.

Fuente de los datos: Dialnet