Теоретико-типовая семантика доксических высказываний

О. В. Доманов

Аннотация


Теоретико-типовая семантика доксических высказываний

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

PDF

Литература


Dummett M. A. E. What is a Theory of Meaning? In: Samuel Guttenplan (ed.), Mind and Language. Oxford University Press, 1975.

Martin-L¨of P. On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Nordic Journal of Philosophical Logic, Vol. 1, No. 1, 1996, pp. 11–60.

Quine W. V. O. Quantifiers and Propositional Attitudes. Journal of Philosophy 53(5), 1956, pp. 177–187.

Ranta A. Type-theoretical grammar. Clarendon Press, 1994.

The Coq Proof Assistant. URL: https://coq.inria.fr/.


Ссылки

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


Bookmark and Share


(c) 2018 О. В. Доманов

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