QR Code (код быстрого отклика)

Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos

Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory (CTT) has been developed. The aim of the present paper is to show th...

Полное описание

Сохранить в:
Библиографические подробности
Опубликовано в::THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia
Главные авторы: Shahid Rahman, Juan Redmond
Формат: Artigo
Язык:Espanhol
Опубликовано: Universidad del País Vasco/Euskal Herriko Unibertsitatea 2016
Предметы:
Online-ссылка:https://www.redalyc.org/articulo.oa?id=339744130003
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!