| Den här artikelnbehöverkällhänvisningar för att kunnaverifieras.(2020-04) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kanifrågasättas och tas bort utan att det behöver diskuteras pådiskussionssidan. |
| Logik,Formellt system |
|---|
| Logiska system |
Parakonsistent logik ärlogiska system som utvecklats för att undvika egenskapen attvad som helst kan härledas ur enkontradiktion iklassisk logik,intuitionistisk logik med flera.