paraconsistent-logic tag

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

• Lenticule Science: Four-Valued Logic, Agent Integration, x402 Markets and Formal Mathematics 2026-10-20 · article
  Lenticule Science, the 561 Group's research company, publishes work on four-valued paraconsistent logic, concurrent AI agents, MAPE-K, x402 and Lean 4.
• What Is a Bilattice? Belnap-Dunn Logic and the Two Orders 2026-10-19 · article
  A bilattice has two lattice orders, one for truth and one for information. It explains why a value meaning both true and false is data, not an error.
• Obsmetrologia: Formal Mathematics in Lean 4 Without Mathlib 2026-10-19 · article
  Obsmetrologia is a Lean 4 library of about 275 files that derives bilattice logic, closure, cohomology and dynamics from marks, with no Mathlib dependency.
• 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.
• Belnap Four-Valued Logic: Reasoning with Gaps and Gluts 2026-07-08 · paper
  Belnap-Dunn logic gives each claim one of four statuses: true only, false only, both, or neither. It lets a machine reason on conflicting data.
• Paraconsistent Settling and Comprehension on Four-Valued Evidence 2026-06-20 · article
  Settling closes four-valued evidence to a least fixed point; comprehension then extracts what is held. Conflict gets its own sheaf, so it is never erased.
• 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.