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. Kategori:Mantık kavramları
Kategori:Mantık felsefesi
Kategori:Mantık.