Эта статья требует дополнительных ссылок для проверки . ( январь 2009 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
В модальной логике , А классический модальная логика L является любой модальной логикой , содержащая (как аксиома или теоремы) двойственностью модальных операторов
который также закрыт по правилу
В качестве альтернативы можно дать двойственное определение L, согласно которому L является классическим тогда и только тогда, когда оно содержит (как аксиома или теорема)
и закрыт по правилу
Самую слабую классическую систему иногда называют E и она не является нормальной . Оба алгебраических и окрестности Семантики характеризует знакомые классические модальные системы, которые слабее слабой нормальная модальная логика K .
Любая регулярная модальная логика является классической, и каждая нормальная модальная логика регулярна и, следовательно, классическая.
Ссылки [ править ]
- Челлас, Брайан. Модальная логика: введение . Издательство Кембриджского университета, 1980.
Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее . |