Интуиционистская линейная логика
method
ID: intuitionisticlinearlogic
Детали сущности
Основная информация
ID сущности
intuitionisticlinearlogic
Тип сущности
Method
Английская метка
Intuitionistic Linear Logic
Русская метка
Интуиционистская линейная логика
Казахская метка
Интуициялық сызықтық логика
Частота
1
Описание
Английское описание
A formalism that derives from current type logical grammars, handling both syntax and semantics with the same set of primitives.
Русское описание
-
Казахское описание
-