Автоматизация интеллектуального труда

4.Неклассические логики
sm-logic.gif (3111 bytes)
salaback.gif (4151 bytes)
    
4.1.  Многозначные логики
4.2.  Непрерывные логики
4.3.  Модальная логика
4.4.  Интуиционистская логика.
4.5.  Динамические логики