abstract logic
{{Short description|Formal system in mathematical logic}}
{{Other uses}}
In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification.C. C. Chang and Jerome Keisler Model Theory, 1990 {{ISBN|0-444-88054-2}} page 128
Based on Lindström's characterization, first-order logic is, up to equivalence, the only abstract logic that is countably compact and has Löwenheim number ω.C. C. Chang and Jerome Keisler Model Theory, 1990 {{ISBN|0-444-88054-2}} page 132
See also
- {{annotated link|Abstract algebraic logic}}
- {{annotated link|Abstract model theory}}
- {{annotated link|Löwenheim number}}
- {{annotated link|Lindström's theorem}}
- {{annotated link|Universal logic}}