Abstrakt. I det här dokumentet introducerar och studerar vi ett nytt parakonsistent inferensförhållande.=c vid fastställandet av 3-värderade parakonsistenta logiker. Med hjälp av inkonsekvens som glöms bort som en viktig mekanism för att återvinna konsekvens, garanterar den att den avdragsgilla stängningen Cn  och Cn ( på) av någon trosbas är klassiskt konsekvent och klassiskt stängd. Detta starka drag, som inte delas av tidigare inferensrelationer i samma miljö, gör det möjligt att tolka en inkonsekvent trosbas som en uppsättning klassiska världar (därav att resonera klassiskt från dem).
I REF definieras och studeras ett slutförhållande vid fastställandet av 3-värderade parakonsistenta logiker.
Recovering Consistency by Forgetting Inconsistency
{'venue': 'Lecture Notes in Computer Science', 'journal': 'Lecture Notes in Computer Science', 'mag_field_of_study': ['Computer Science']}