„Elsőrendű logika” változatai közötti eltérés

a (kisebb formai javítások)
** [[Tablókalkulus]],
** [[Rezolúciós kalkulus]].
* [[Modellelmélet]] – Egy formula vagy nyelv modelljének egyszerűen egy olyan interpretációt ([[matematikai struktúra|matematikai struktúrát]]) nevezünk, mely a formulát kielégíti. A modellelmélet ezen interpretációk egymáshoz és a formulához való viszonyaival foglalkozik. Tehát ez egy elsősorban szemantikai jellegű tudományág. Legfontosabb területe a modellunivwerzumokmodelluniverzumok [[számosság]]ának kutatása, az itt elért fő eredmény a [[Löwenheim-Skolem-tétel]]. A legnevesebb kutatók: [[Leopold Löwenheim|L. Löwenheim]], [[Kurt Gödel|K. Gödel]], [[Anatolij Ivenevics Malcev|A. I. Malcev]].
* A bizonyításelméletből nőtt ki mára önálló tudományággá a „számításelméleti” vagy „számítógépes logika”, melynek fő területe az automatikus tételbizonyítás kutatása. Legfontosabb elmélete a rezolúciós kalkulus. Ezenkívül foglalkozik a logika számításelméleti vonatkozásaival is (kielégíthetőségi problémák [SAT] és megoldhatóságuk kutatása és jellemzése).
 
Névtelen felhasználó