In de wiskundige logica is een abstracte logica een formeel systeem, dat bestaat uit een klasse van zinnen en een voldoeningsrelatie met specifieke eigenschappen met betrekking tot voorkomen, expansie, isomorfisme, hernoeming en kwantificering. en , Model Theory, 1990 , blz. 128
Gebaseerd op Per Lindströms karakterisering is de eerste orde logica, op en tot met gelijkwaardigheid, de enige abstracte logica, die aftelbaar compact is en het Löwenheim-getal ω heeft. en , Model Theory, 1990, , blz. 132
Zie ook Löwenheim-getal Stelling van Lindström
Voetnoten
Categorie:Wiskundige logica