Complete and atomic algebras of the infinite valued Łukasiewicz logic (Q1189890)

Eine \(W\)-Algebra ist eine Algebra \({\mathfrak A}=\langle A,\Rightarrow,\neg,u\rangle\), für die \(u\in A\), \(\neg\) eine unäre und \(\Rightarrow\) eine binäre Operation auf \(A\) sind, wobei \(u\Rightarrow x=x\), \((x\Rightarrow y)\Rightarrow((y\Rightarrow z)\Rightarrow(x\Rightarrow z))=u\), \((x\Rightarrow y)\Rightarrow y=(y\Rightarrow x)\Rightarrow x\), \((\neg x\Rightarrow \neg y)\Rightarrow(y\Rightarrow x)=u\) gelten. Die Operationen \(\lor\) und \(\land\) werden folgendermaßen definiert: \(x\lor y=(x\Rightarrow y)\Rightarrow y\), \(x\land y=\neg(\neg x\lor \neg y)\), und \(\neg u\) wird mit 0 bezeichnet. Wenn \(x\leq y\) durch \(x\Rightarrow y=u\) definiert wird, dann ist \(L{\mathfrak A}=\langle A,\lor,\land,0,u\rangle\) teilweise geordnet, wobei 0 und \(u\) das kleinste bzw. das größte Element sind, \(\lor\) und \(\land\) aber sup bzw. inf bedeuten. In \(L{\mathfrak A}\) ist \(\land\) distributiv hinsichtlich \(\lor\). Wenn \(L{\mathfrak A}\) vollständig ist (sup und inf existieren auch für unendliche Teilmengen), dann wird \(\mathfrak A\) vollständig genannt. \(\mathfrak A\) wird eine atomare \(W\)-Algebra genannt, wenn \(L{\mathfrak A}\) atomar ist. Es wird bewiesen, daß für jede \(W\)-Algebra \(\mathfrak A\) in \(L{\mathfrak A}\) auch die unendliche Distributivregel gilt. Daraus folgt, daß bei einer vollständigen \(W\)-Algebra \(\mathfrak A\), \(L{\mathfrak A}\) eine (vollständige) Heyting-Algebra ist. Ein weiteres Resultat ist die folgende Distributivregel für \(\Rightarrow\) in \(W\)-Algebren: Wenn \(\sup_ \iota\{x_ \iota\}\) existiert, dann existiert auch \(\sup_ \iota\{x\Rightarrow x_ \iota\}\), wobei \(x\Rightarrow\sup_ \iota\{x_ \iota\}=\sup_ \iota\{x\Rightarrow x_ \iota\}\). Zum Schluß werden notwendige und hinreichende Bedingungen gegeben, wann eine \(W\)-Algebra vollständig bzw. atomar ist.