Projects in Awesome Lists tagged with paraconsistent-logic
A curated list of projects in awesome lists tagged with paraconsistent-logic .
https://github.com/umpolungfish/p4rakernel
a fork of Lean 4 (v4.28.0) implementing a true paraconsistent type-theoretic kernel — the principle of explosion — "ex falso quodlibet" — is disabled at the kernel level.
belnap-logic dialetheia four-logic imscribe imscribing-grammar imscriptive paraconsistent-kernel paraconsistent-lean4 paraconsistent-logic
Last synced: 12 Jun 2026
https://github.com/umpolungfish/priests-engine
A paraconsistent computer. It runs programs that sustain contradiction permanently and proves they cannot collapse
dialetheia esoteric paraconsistent paraconsistent-logic paradoxes
Last synced: 28 May 2026