Sciweavers

CIE
2005
Springer

Kripke Models, Distributive Lattices, and Medvedev Degrees

14 years 4 months ago
Kripke Models, Distributive Lattices, and Medvedev Degrees
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while the new semantics is still complete, it gives a simple and direct correspondence between Kripke models and algebraic structures such as factors of the Medvedev lattice.
Sebastiaan Terwijn
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CIE
Authors Sebastiaan Terwijn
Comments (0)