Parakonzisztencia a logikában
Betöltés ...
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DOI
Absztrakt
A parakonzisztencia a logikában dolgozatom nem szokványos logikai rendszereket vizsgál. A dolgozat célja egy olyan rendszer leírása amely könnyen alkalmazható automatizált érvelésre. Előbb meghatározza mi is az a parakonzisztencia és miben tér el a klasszikus logikáktól. Áttekintést nyújt az eddigi lényegesebb parakonzisztens rendszerekre, majd a Belnap-féle logikai rendszerrel próbál meghatározni egy automatikus következtető gépet.