|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О некоторых свойствах решетки пропозициональных исчисленийстатья
- Автор: Боков Г.В.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 19
- Номер: 2
- Год издания: 2015
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 47
- Последняя страница: 64
- Аннотация: В работе доказаны достаточные условия континуальности решетки пропозициональных исчислений с операцией подстановки и произвольными схемными операциями вывода. Кроме того, описаны мощности множеств всех замкнутых классов, предполных и дуально-предполных классов тавтологий в решетке пропозициональных исчислений. Также описаны типы критериальных систем для пропозициональных исчислений.
- Добавил в систему: Боков Григорий Владимирович