Soyut mantık

Soyut mantık, matematiksel mantıkta bir cümle sınıfından ve oluşum, genişleme, eşbiçimlilik, yeniden adlandırma ve niceleme ile ilgili belirli özelliklere sahip bir yeterlilik ilişkisinden oluşan bir sistemdir.

Lindström'ün karakterizasyonuna dayanarak, birinci mertebeden mantık eşitlilik dışında tek kompakt sayılabilir soyut mantıktır ve Löwenheim sayısı ω'ye sahiptir.

Kaynakça 

Mantık kavramları
Mantık felsefesi
Mantık