Parakonsistent logik

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-04)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Logik, Formellt system
Bivalent logik Boolesk algebra Deontisk logik Filosofisk logik Flervärd logik Matematisk logik Metalogik Modallogik Satslogik Temporal logik
Logiska system
Första ordningens logik Andra ordningens logik Deontisk logik Intuitionistisk logik Klassisk logik Kontemporär logik Linjär logik Parakonsistent logik Predikatlogik Relationell logik Relevanslogik Sannolikhetslogik Satslogik Substrukturell logik Suddig logik (fuzzy logic) Syllogistisk logik
Denna tabell: visa • redigera

Parakonsistent logik är logiska system som utvecklats för att undvika egenskapen att vad som helst kan härledas ur en kontradiktion i klassisk logik, intuitionistisk logik m.fl.