Space: barissozudogru/belnap-debate
title: Belnap Paraconsistent Logic Visualizer
sdk: gradio
license: mit
mcp_server: yes
tags: logic, paraconsistent-logic, four-valued-logic, belnap, dunn, multi-agent, debate, formal-methods, mcp, mcp-server
datasets: barissozudogru/belnap-debate-corpus
models: barissozudogru/belnap-controversy-classifier
Tags: gradio, logic, paraconsistent-logic, four-valued-logic, belnap, dunn, multi-agent, debate, formal-methods, mcp, mcp-server, region:us