|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Remark on a finite axiomatization of finite intermediate propositional logicsстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 10 июня 2020 г.
- Автор: Skvortsov D.
- Журнал: Journal of Applied Non-classical logics
- Том: 9
- Номер: 2-3
- Год издания: 1999
- Первая страница: 381
- Последняя страница: 386
- DOI: 10.1080/11663081.1999.10510973
- Аннотация: A simple method of axiomatizing every finite intermediate propositional logic by a finite set of axioms with the minimal number of variables is proposed. The method is based on Jankov's characteristic formulas. // In other words: the paper describes an algorithm that, given a finite intuitionistic Kripke frame (i.e., a finite partially ordered set), constructs a propositional formula that axiomatizes the (superintuitionistic tabular) logic of this frame. The resulting formula uses the minimal possible number of variables.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Tabular Intuitionistic Logics | 1999_Skvortsov_Tabular_Int_Logics.pdf | 185,4 КБ | 4 января 2020 [ezolin] |