Vaszil, GyörgyKovács-Fazekas, Balázs2019-05-092019-05-092019-05-09http://hdl.handle.net/2437/267196A 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.45huLogikaparakonzisztenciakövetkeztetésDEENK Témalista::Informatika