ЛОГИЧЕСКАЯ СЕМАНТИКА

отдел логики, изучающий значение выражений языка; в более точном смысле раздел металогики. изучающий интерпретации (Интерпретация и модель) логических исчислений (Формализованный язык). Осн. поня