Parakonsistent logik

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 med flera.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Tubidy