Loading...
Please wait, while we are loading the content...
Similar Documents
Lukasiewicz – Moisil algebras with and without negation
| Content Provider | Semantic Scholar |
|---|---|
| Author | Figallo, Aldo V. Pascual, Inmaculada Ziliani, Alicia |
| Copyright Year | 2008 |
| Abstract | Philosophical problems arising from the idea that there are statements which are neither true nor false, led to the formulation of many– valued logics by Lukasiewicz. Since then, plenty of research has been developed in this area. In 1968, G. Moisil found an example which gave him the motivation he had been looking for in order to legitimate the introduction and study of infinitely–valued Lukasiewicz algebras, so he defined θ−valued Lukasiewicz algebras, where θ is the order type of a chain. In this article, we determine a topological duality for θ−valued Lukasiewicz algebras (or Lkθ−algebras) equivalent to the one given by Filipoiu in 1980. Not only does the duality enable us to obtain a description of the Lkθ−congruences on an Lkθ−algebra, but also to characterize the subdirectly irreducible Lkθ−algebras. Furthermore, we extend the above study to the case of Lkθ−algebras with negation arriving through a different method at the results indicated by V. Boisescu et al ( Lukasiewicz–Moisil Algebras, Annals of Discrete Mathematics 49, North–Holland, 1991). |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/download/927/775 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
