WikiDer > Полиадикалық алгебра

Polyadic algebra

Полиадикалық алгебралар (жақында шақырылды Галмос алгебралары[1]) болып табылады алгебралық құрылымдар енгізген Пол Халмос. Олар байланысты бірінші ретті логика арасындағы қатынасқа ұқсас түрде Буль алгебралары және ұсыныстық логика (қараңыз Линденбаум – Тарский алгебрасы).

Бірінші ретті логиканы алгебрамен байланыстырудың басқа жолдары бар, соның ішінде ТарскийКеліңіздер цилиндрлік алгебралар[1] (қашан теңдік логиканың бөлігі болып табылады) және ЛовереКеліңіздер функционалдық семантика (а категориялық тәсіл).[2]

Әдебиеттер тізімі

  1. ^ а б Мичиел Хазевинкель (2000). Алгебра туралы анықтамалық. 2. Elsevier. 87–89 бет. ISBN 978-0-444-50396-1.
  2. ^ Джон Барвайс (1989). Математикалық логиканың анықтамалығы. Elsevier. б. 293. ISBN 978-0-444-86388-1.

Әрі қарай оқу