510.64. Неклассические, формальные логические системы.

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

[ Начало ]