Lenticule Science
The Adjoint Structure of Predication on Bilattice-Valued Fibers neighborhood
The current page first, followed by its outgoing and incoming relations.
paper
The Adjoint Structure of Predication on Bilattice-Valued Fibers
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.