Parakonsistent logik

Logik, Formellt system
	Bivalent logik; Flervärd logik; Modallogik; Temporal logik; Matematisk logik; Filosofisk logik; Metalogik; Boolesk algebra;
Logiska system
	Syllogistisk logik; Klassisk logik, Satslogik; Predikatlogik; Första ordningens logik; Andra ordningens logik; Intuitionistisk logik; Parakonsistent logik; Substrukturell logik; Relevanslogik; Linjär logik; Suddig logik (Fuzzy logic); Sannolikhetslogik; Relationell logik; Deontisk logik;

Texten från svenska Wikipedia

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.

Denna artikel om logik är bara påbörjad. Du kan hjälpa till genom att utöka den.