Абстрактная логика - Abstract logic
В математической логике , абстрактная логика является формальной системой , состоящей из одного класса предложений и отношения удовлетворенности со специфическими свойствами , связанных с возникновением, расширением, изоморфизмом, переименования и количественной оценкой.
Основываясь на характеристике Линдстрема , логика первого порядка является, с точностью до эквивалентности, единственной абстрактной логикой, которая счетно компактна и имеет число Левенгейма ω.
Смотрите также
- Абстрактная алгебраическая логика
- Абстрактная теория моделей
- Число Левенхайма
- Теорема Линдстрема
- Универсальная логика
Рекомендации