В границах трехзначности
Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица, чтобы быть изоморфом для классической логики высказываний; теорема о том, что могут существовать трехзначные замкнутые классы функций, в которых число предполных классов бесконечно; построение новой классификации расширений слабой логики Клини.
Содержание
Содержание книги "В границах трехзначности "
Отрывок из книги
Г Л А В А 1 . Т Р Е Х З Н А Ч Н Ы Е МАТРИЦЫ Д Л Я К Л А С С И Ч Е С К О Й П Р О П О З И Ц И О Н А Л Ь Н О Й Л О Г И К И 1.1. В в е д е н и е Эта глава посвящена анализу связи между теоретико-доказательные свойствами логики с функциональными свой¬ствами ее матриц. В качестве примера мы выбрали классическую пропозициональную логику C2. Глава имеет следующую структуру. Сперва мы определим необходимые синтаксические и семантические понятия и укажем связи между ними. Затем мы приведем краткий обзор предшествующих результатов в исследуемой области, а т а к ж е сделаем ряд предварительных методологических замечаний. В четвертом п а р а г р а ф е будут сформулированы необходимые и достаточные условия, при ко¬торых трехзначная логическая матрица порождает классиче¬ское отношение следования. Используя свойство функциональ¬ной полноты операций классической логики в двузначном слу¬чае, мы перейдем от рассмотрения матриц д л я фиксированных языков к более абстрактному подходу, при котором результаты распространяются на произвольный пропозициональный я з ы к . Мы докажем, что трехзначная матрица является матрицей д л я C2, е.т.е. существует матричный гомоморфизм из этой матри¬цы в двузначную матрицу с функционально полным набором операций д л я того ж е языка. Пятый п а р а г р а ф посвящен мак¬симальным классам классических функций на { 1 ,1/ 2 , 0 } . Пока-34
С книгой "В границах трехзначности" читают
Внимание!
При обнаружении неточностей или ошибок в описании книги "В границах трехзначности (автор Леонид Девяткин, Николай Преловский, Наталья Томова)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!
и мы свяжемся с вами в течение 15 минут
за оставленную заявку