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.