paraconsistent-logic tag

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

• Paraconsistent federation: an ActivityPub inbox that keeps contradictions instead of last-writer-wins 2026-10-17 · article
  An ActivityPub inbox that treats activities as claims and joins them in Belnap's knowledge order, so Create and Delete conflict instead of racing.
• Belnap four-valued logic as an API: knowledge join, truth join, negation and conflation per call 2026-10-13 · article
  Eight pay-per-call endpoints implement Belnap's FOUR algebra over x402: join, meet, negate, conflate, convert and census, with truth tables and live examples.