Parakonsistent logik

Från Wikipedia
Hoppa till: navigering, sök
Logik, Formellt system
Logiska system

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.