linear-logic tag

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

• Paraconsistent, Transfinite, Linear Logic for Concurrent AI Agent Integration: An Audit 2026-10-16 · paper
  An audit of a four-valued, ordinal-settling, resource-sensitive logic for coordinating concurrent AI agents: what is proved, what is only defined or open.
• 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.