belnap-logic

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

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

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.

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.