×

一元德摩根代数。 (英语) Zbl 0927.06009

Caicedo,Xavier(编辑)等人,《模型、代数和证明》。第十届拉丁美洲数理逻辑研讨会论文选集,哥伦比亚波哥大,1995年6月24日至29日。纽约州纽约市:马塞尔·德克尔。莱克特。Notes纯应用。数学。203, 315-333 (1999).
一元De Morgan代数是一个代数\(A,nabla)\,其中\(A\)是一个De Morgen代数,\(nabla\)是\(A~)上的存在量词。由\(Delta x=\;\sim\nabla\sim x\)定义的运算符\(Delta\)是\(a\)上的全称量词,因此\(nabla(a)=\Delta(a)\)。本文将Priestley对偶性推广到一元De Morgan代数的簇({mathcal M})上,因此,代数的同余格(a\In{mathcalM})是用其关联空间的某些闭集来刻画的。然后确定了({mathcal M})中的单代数和次直不可约代数。最后,作者给出了({mathcal M})中自由代数的De Morgan空间的一个构造,推广了Halmos对一元布尔代数的构造。
关于整个系列,请参见[Zbl 0905.00049号].

MSC公司:

06时30分 De Morgan代数,Łukasiewicz代数(格理论方面)
03G25号 与逻辑相关的其他代数
PDF格式BibTeX公司 XML格式引用