| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
|
|||
|
|
|||
|
A remark on propositional Kripke frames sound for intuitionistic logic Dmitrij Skvortsov |
|||
|
Аннотация: Usually, in the Kripke semantics for intuitionistic propositional logic (or for superintuitionistic logics) partially ordered frames are used. Why? In this paper we propose an intrinsically intuitionistic motivation for that. Namely, we show that every Kripke frame (with an arbitrary accessibility relation), whose set of valid formulas is a superintuitionistic logic, is logically equivalent to a partially ordered Kripke frame. Язык доклада: английский |
|||