belnap-logic

Paraconsistent Lean 4 formalization | 4⊙4 ---> 16_3 | Imscribing Grammar

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.

4-valued fuzzy logic (Belnap) for Python - reason with unknown and contradictory evidence

Public-facing documents for the Imscribing Grammar corpus (papers, freezes, catalogs).

M⊙nadic ⊙perator-driven ⊙rganismic The⊙rizer - Types mathematical goals into the 12-primitive Imscribing Grammar, dispatches via Belnap FOUR to kernel prover or Witness arm, and verifies in Lean 4.