The Ontological Square and Modern Type Theories (MTTs)

Vitaliy Dolgorukov

Аннотация


The Ontological Square and Modern Type Theories (MTTs)

Полный текст:

PDF (English)

Литература


Angelelli I. Studies on Gottlob Frege and Traditional Philosophy. Dordrecht: Reidel, 1967.

Luo Z. Formal Semantics in Modern Type Theories with Coercive Subtyping. Linguistics and Philosophy 35(6), 2012, pp. 491–513.

Martin-Löf. P. Intuitionistic Type Theory. Napoli: Bibliopolis, 1984.

Modern Perspectives in Type-Theoretical Semantics. Eds. by Stergios Chatzikyriakidis and Zhaohui Luo. Dordrecht: Springer, 2017.

Ranta A. Type-Theoretical Grammar. Oxford: Oxford University Press, 1994.

Smith B. Against Fantology in Experience and Analysis. Eds. by Johann C. Marek and Maria E. Reicher. Vienna: Öbv&Hpt, 2005, pp. 153–170.

Schneider L. The Logic of the Ontological Square. Studia Logica. 91(1), 2009, pp. 25–51.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2018 Vitaliy Dolgorukov

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.