Belnaps vierwertige Logik
aus Wikipedia, der freien encyclopedia
Belnaps vierwertige Logik (kurz: ) ist ein logisches System mit vier Wahrheitswerten, welches parakonsistentes Schlussfolgern ermöglicht. Sie wurde 1975 von Nuel D. Belnap entwickelt. Belnaps vierwertige Logik verwendet im Gegensatz zur klassischen Logik vier Wahrheitswerte: , , und . In diesem System lassen sich auch aus klassisch logisch inkonsistenten Mengen Schlussfolgerungen ziehen.