four-valued-logic tag

Publications

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

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.
Reading HTTP in four values: why a 402 is neither up nor down 2026-10-11 · article
A status page that reads each HTTP answer as Belnap's true, false, both or neither: 2xx is true, 401/402/403 is both, no answer is false. With live data.