Metalogika – dział logiki matematycznej powiązany z metamatematykąAndrzej Grzegorczyk, Elementy logiki matematycznej, Wydanie II, Państwowe Wydawnictwo Naukowe, Warszawa 1969, s. 229., badający różne systemy logiczne jako teorie formalne (dedukcyjne)metalogika [w:] Encyklopedia Popularna PWN, Państwowe Wydawnictwo Naukowe, Warszawa 1986, , s. 462.. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.
Przypisy
Linki zewnętrzne Meta-logic , Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].
Kategoria:Logika matematyczna