En undersökning av parakonsistenta logiker som är framträdande företrädare för de olika tillvägagångssätt som har följts för att utveckla parakonsistenta logiker tillhandahålls. De parakonsistenta logiker som kommer att diskuteras är ett berikande av prästlogiken LP, logiken RM3 från skolan för relevanslogik, da Costas logiker Cn, Jaśkowskis logik D2, och Subrahmanians logiker Pτ. En deontisk logik baserad på den första av dessa logiker kommer också att diskuteras. Dessutom kommer några föreslagna anpassningar av Årsstämmans teori om trosrevidering att nämnas till parakonsistenta logiker. 1 I [30], hänvisas till flera publikationer där en formulering av D2 kan hittas. Alla berörda formuleringar, liksom den i [43], är felaktiga (jfr. [24]........................................................................................................................... Följaktligen är formuleringarna av utvidgningen av D2 till en predikatlogik som kan hittas i vissa av dessa publikationer också felaktiga.
För en undersökning av flera parakonsistenta logiker, se till exempel REF.
A Survey of Paraconsistent Logics
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}