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