| индекс УДК |
описание |
|
| 510.643 |
Модальные логики (и исчисления модальных логик) |
|
| 510.644 |
Многозначные логики (и исчисления многозначных логик) |
см. 519.716.32 Конечнозначные логики в функциональных системах |
| 510.645 |
Формализации традиционных логик |
|
| 510.646 |
Индуктивная логика |
|
| 510.647 |
Вероятностная логика |
см. 519.21 Теория вероятностей и случайные процессы |
| 510.649 |
Другие (формальные) логические системы |
|
| |