David Betzer

Galois-Theoretic Invariants of Paraconsistent Determinization

2026 · Zenodo (CERN European Organization for Nuclear Research)

This paper develops a Galois-theoretic invariant for “determinization” operations that collapse paraconsistent semantics to classical semantics inside an indexed topos framework. A first result is an obstruction: no (elementary) topos can have LP as its …