Исследования по неклассическим логикам и формальным системам
Короткий опис(реферат)
Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
В сборнике рассматриваются синтаксические и семантические аспекты неклассических логик, а также некоторые вопросы аксиоматической теории множеств. Сборник содержит материалы по модальным, многозначным логикам и статьи, в которых излагаются различные интуиционистские теории и проблемы конструктивизации неклассических логик (трехзначной логики Д.А.Бочвара, бестиповой логики В.А.Аккермана и др.).
Collections
- Libgen [81666]