Complete and atomic algebras of the infinite valued Łukasiewicz logic
The infinite-valued logic of Łukasiewicz was originally defined by means of an infinite-valued matrix. Łukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | JOUR |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00393215_v50_n3-4_p375_Cignoli |
| Aporte de: |
| Sumario: | The infinite-valued logic of Łukasiewicz was originally defined by means of an infinite-valued matrix. Łukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this was eventually verified by M. Wajsberg. The algebraic counterparts of this logic have become know as Wajsberg algebras. In this paper we show that a Wajsberg algebra is complete and atomic (as a lattice) if and only if it is a direct product of finite Wajsberg chains. The classical characterization of complete and atomic Boolean algebras as fields of sets is a particular case of this result. © 1991 Polish Academy of Sciences. |
|---|