Belnap Paraconsistent Logic Visualizer
ðŸ§
Visualize four-valued logic verdict from debater votes
Paraconsistent debate stack
Four-valued (Belnap-Dunn) logic for multi-agent debate aggregation - interactive Space, 110-proposition corpus, and a DistilBERT classifier.
-
barissozudogru/belnap-debate-corpus
Viewer • Updated • 110 • 45Note 110 real-debate propositions labeled with truth-value distribution and controversy level.
barissozudogru/belnap-controversy-classifier
Text Classification • 67M • Updated • 17Note DistilBERT fine-tune for high-controversy detection. Small data, honest metrics, +13.6pp above baseline.