belnap-logic

Here are 2 public repositories matching this topic...

umpolungfish / p4rakernel

Paraconsistent computation layer: Lean 4 formalization of the Imscribing Grammar with Belnap FOUR logic

formal-verification frobenius lean4 belnap-logic paraconsistent sic-povm paraconsistent-logic imscriptive imscribe imscribing-grammar dialetheia paraconsistent-lean4 paraconsistent-kernel four-logic

Updated Jul 6, 2026
Lean

sciganec / subit-ink

Star

SUBIT-INK replaces the standard binary ink classifier with a four-valued Belnap bilattice, enabling the model to express epistemic states beyond a simple yes/no decision.

topos belnap-logic ink-detection vesuvius-challenge subit

Updated Jul 6, 2026
Jupyter Notebook

Improve this page

Add a description, image, and links to the belnap-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the belnap-logic topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly