dialetheia

Here are 3 public repositories matching this topic...

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 paraconsistent-logic imscriptive imscribe imscribing-grammar dialetheia paraconsistent-lean4 paraconsistent-kernel four-logic

Updated Jun 7, 2026
Lean

umpolungfish / voynich-engine

Sponsor

Star

A Complete Technical Translation of the Voynich Manuscript into Executable IMASM Architecture

python voynich-manuscript voynich paraconsistent paraconsistent-logic voynich-manuscript-decoded voynich-manuscript-deciphered dialetheia

Updated May 17, 2026
Python

umpolungfish / priests-engine

Sponsor

Star

A paraconsistent computer. It runs programs that sustain contradiction permanently and proves they cannot collapse

esoteric paradoxes paraconsistent paraconsistent-logic dialetheia

Updated Jun 3, 2026
Python

Improve this page

Add a description, image, and links to the dialetheia topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dialetheia topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly