Девяткин Л. Трехзначные семантики для классической логики высказываний.
| ISBN | 978-5-9540-0203-4 |
| Автор | Девяткин Л. |
| Издательство | ИФРАН |
| Переплет | м |
| Формат | 60*84/16 |
| Год | 2011 |
| Стр. | 108 |
| Сроки выполнения | Уточняем в течение 24 часов после оформления заказа |
| ID | 405Гн |
| Гноз | 405Гн12,8 |
Монография посвящена исследованию свойств трехзначных семантик для классической логики высказываний. Автором полностью описан трехзначных имплиактивно-негативных характеристических матриц для классической логики высказываний. Построена классификация подобных матриц с одним выделенным значением на основе функциональных свойств их базовых операций. Также исследованы матрицы с классическим классом законов, но неклассическим отношением логического следования. Показано, что отдельные важные свойства классической логики высказываний имеют место только при семантике с двумя истинностными значениями.