collaborators

1 paper

math.LO2026

Intuitionism and computing with partial information

Hristo Ganchev, Paul Shafer, Theodore A. Slaman +2

There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For t…