An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
An alternative notion of an existential quantifier on four-valued Łukasiewicz algebras is introduced. The class of four-valued Łukasiewicz algebras endowed with this existential quantifier determines a variety which is denoted by M23L4. It is shown that the alternative existential quantifier is inte...
Guardado en:
| Autores principales: | González, L.J., Lattanzi, M.B., Petrovich, A.G. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_16618297_v11_n4_p439_Gonzalez |
| Aporte de: |
Ejemplares similares
-
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
Publicado: (2017) -
An alternative notion of quantifiers on three-valued Łukasiewicz algebras
por: Petrovich, A., et al. -
An alternative notion of quantifiers on three-valued Łukasiewicz algebras
por: Petrovich, Alejandro Gustavo
Publicado: (2017) -
An elementary proof of chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
Publicado: (1997) -
An elementary proof of chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
por: Cignoli, R., et al.