Abstraktní logika - Abstract logic
v matematická logika, an abstraktní logika je formální systém skládající se z třídy věty a a vztah spokojenosti se specifickými vlastnostmi souvisejícími s výskytem, expanzí, izomorfismem, přejmenováním a kvantifikací.[1]
Na základě Lindström charakterizace, logika prvního řádu je až do ekvivalence jedinou abstraktní logikou, která je počítatelně kompaktní a má Löwenheimovo číslo ω.[2]
Viz také
- Abstraktní algebraická logika
- Teorie abstraktního modelu
- Löwenheimovo číslo
- Lindströmova věta
- Univerzální logika
Reference
- ^ C. C. Chang a Jerome Keisler Teorie modelu, 1990 ISBN 0-444-88054-2 strana 128
- ^ C. C. Chang a Jerome Keisler Teorie modelu, 1990 ISBN 0-444-88054-2 strana 132
 | Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |