Алгебраическая семантика (математическая логика)
- Алгебраическая семантика — формальная семантика, основанная на алгебрах в математической логике.
- Модальные логики характеризуются различными алгебрами с операторами.
- Булевые алгебры характеризуют классическую пропозициональную логику, а алгебры Хейтинга — пропозициональную интуиционистскую логику.
- MV-алгебры являются алгебраической семантикой логики Лукашевича.
Полный текст статьи: