| 
Поиск по ключевому слову "разрешимость исчисления"
Основные квазиматричные логики
| Авторы: Ивлев Ю.В. | Опубликовано: 19.10.2016 |
| Опубликовано в выпуске: #10(48)/2016 | |
| DOI: 10.18698/2306-8477-2016-10-391 | |
| Раздел: Гуманитарные науки в техническом университете | Рубрика: Философские науки | |
| Ключевые слова: матричная логика, квазиматричная логика, квазифункция, семантическая полнота, разрешимость исчисления | |