|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Трехзначные характеристические матрицы классической пропозициональной логикистатья
- Авторы: Девяткин Л.Ю., Карпенко А.С., Попов В.М.
- Журнал: Труды научно-исследовательского семинара Логического центра Института философии РАН
- Том: 18
- Год издания: 2007
- Первая страница: 50
- Последняя страница: 62
- Аннотация: Строятся четыре трехзначные логические матрицы. Доказывается, что каждая из них является характеристической матрицей классической пропозициональной логики.
- Добавил в систему: Попов Владимир Михайлович