|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
On the logics related to Arruda’s system V1статья
Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.
- Автор: Popov V.M.
- Журнал: Logic and Logical Philosophy
- Том: 7
- Год издания: 1999
- Первая страница: 87
- Последняя страница: 90
- DOI: 10.12775/LLP.1999.007
- Аннотация: Four logics I0, I1, I2, and I3 related to A. Arruda's system V1 are considered. For each of them the semantics of descriptions of states in the style of E.K. Vojshvillo is constructed, the question of characterizability by means of finite logical matrix is investigated and Gentzen-type sequent version is presented.
- Добавил в систему: Попов Владимир Михайлович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 2620-9253-1-PB.pdf | 688,5 КБ | 8 января 2015 [popov_vladimir_logic] |