Абстрактная логика
В математической логике абстрактная логика — это формальная система, состоящая из класса предложений и отношения удовлетворения со специфическими свойствами, связанными с появлением, расширением, изоморфизмом, переименованием и количественной оценкой. [1]
Согласно характеристике Линдстрема , логика первого порядка с точностью до эквивалентности является единственной абстрактной логикой, которая счетно компактна и имеет число Левенгейма ω. [2]
См. также [ править ]
- Абстрактная алгебраическая логика - Исследование алгебризации дедуктивных систем на основе алгебры Линденбаума – Тарского.
- Абстрактная теория моделей
- Число Левенгейма - наименьшее кардинальное число, для которого справедлива слабая нисходящая теорема Левенгейма – Скулема.
- Теорема Линдстрема
- Универсальная логика - раздел логики, изучающий особенности, общие для всех логических систем.
Ссылки [ править ]
- ^ Джерома Кейслера CC Чанг и теория модели , 1990 г. ISBN 0-444-88054-2 стр. 128
- ^ CC Чанг и Джерома Кейслера теория модели , 1990 г. ISBN 0-444-88054-2 стр. 132
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |