|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logicsстатья
Информация о цитировании статьи получена из
Scopus,
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 13 января 2015 г.
- Авторы: Skvortsov Dmitrij, Shehtman Valentin
- Журнал: Annals of Pure and Applied Logic
- Том: 63
- Номер: 1
- Год издания: 1993
- Издательство: Elsevier BV
- Местоположение издательства: Netherlands
- Первая страница: 69
- Последняя страница: 101
- DOI: 10.1016/0168-0072(93)90210-5
- Аннотация: Recent studies in semantics of modal and superintuitionistic predicate logics provided many examples of incompleteness, especially for Kripke semantics. So there is a problem: to find an appropriate possible-world semantics which is equivalent to Kripke semantics at the propositional level and which is strong enough to prove general completeness results. The present paper introduces a new semantics of ‘Kripke metaframes’ generalizing some earlier notions (such as Kripke bundles [12] or functor semantics [5]). The main innovation is in considering n-tuples of individuals as ‘abstract n-dimensional vectors’, together with some transformations of these vectors (‘abstract permutations and projections’). Soundness of the semantics is proved to be equivalent to some non-logical properties of metaframes; and thus we describe the maximal semantics of Kripke-type. The construction of canonical metaframes using n-types allows us to prove completeness theorems rather easily. Representation theorems in the last section show that in some cases metaframes are equivalent to ‘Cartesian’ ones in which all the vectors are n-tuples.
- Добавил в систему: Золин Евгений Евгеньевич