formal-verification tag

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

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

Return to the paged index.