manyvalued

Value-level logics (classical propositional, Heyting, Gödel fuzzy, H3, K3, Boolean-as-ring) as algebraic semantic carriers. Intended for use as payloads and bases alongside circuits, but not part of the core substrate: an alternative thing to compile to, in the same column as FinRel and Process.