residuation tag

Ordered by date created, newest first. All 1 publications are shown on this page.

• 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.

Return to the paged index.