Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками А. Д. Яшин
Сохранить в:
Автор: | Яшин А. Д. |
---|---|
Тип документа: | Книга |
Язык: | Russian |
Год издания: |
Ижевск 2000
|
Предметная рубрика: | |
Online-ссылка: | https://eanbur.unatlib.ru/handle/123456789/3620 |
Ключевые слова: |
Схожие документы
-
Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками
Автор: Яшин, Александр Данилович
Год издания: (2000) -
О выразимости логических связок в неклассических логиках
Автор: Яшин А. Д.
Год издания: (1983) -
Свободные алгебры неклассических логик
Автор: Григолия Р. Ш.
Год издания: (1987) -
Первое знакомство с математической логикой
Автор: Депман И. Я.
Год издания: (1965) -
Игра и логика
Автор: Бизам Д.
Год издания: (1975)