Kripke Models,Distributive Lattices,and Medvedev Degrees |
| |
Authors: | Sebastiaan A Terwijn |
| |
Institution: | (1) Institute for Discrete Mathematics and Geometry, Technical University of Vienna, Wiedner Hauptstrasse 8-10/E104, A-1040 Vienna, Austria |
| |
Abstract: | 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.
Presented by Daniele Mundici |
| |
Keywords: | Kripke semantics Medvedev degrees intuitionistic propositional logic |
本文献已被 SpringerLink 等数据库收录! |
|