twist-products tag

Ordered by date created, newest first. Page 1 of 1; 2 publications total.

• The Nelson Identity on Four-Valued Truth: A Corrected Contrapositive 2026-10-19 · article
  On the four-valued algebra FOUR, naive contrapositive fails but the Nelson identity holds: two iterated implications recover the original one.
• The Adjoint Structure of Predication on Bilattice-Valued Fibers 2026-03-30 · paper
  Lambek residuation on the twist product 2⊗2 gives an extend/restrict adjunction on four-valued fibers, a decidable modal calculus, and a linear-logic reading.