Parakonsistent logik

Från Wikipedia
Hoppa till navigering Hoppa till 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.