|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Semantics of Non-Classical First Order Predicate Logicsстатья
- Авторы: Shehtman Valentin, Skvortsov Dmitrij
- Сборник: Mathematical Logic. Proceedings of Summer School and Conference on Mathematical Logic held on September 13-23, 1990 in Chaika, Bulgaria
- Год издания: 1990
- Место издания: Springer
- Первая страница: 105
- Последняя страница: 116
- DOI: 10.1007/978-1-4613-0609-2_9
- Аннотация: To describe semantics of a logical system one should define notions of a model and the truth in a model. A major part of classical first order model theory can be developed within the standard semantics, while alternative types of semantics (such as sheaves, forcing, polyadic algebras) play an auxiliary role.
- Добавил в систему: Золин Евгений Евгеньевич