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:
| Publicado: |
2017
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_16618297_v11_n4_p439_Gonzalez 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
por: González, L.J., et al. -
An alternative notion of quantifiers on three-valued Łukasiewicz algebras
por: Petrovich, Alejandro Gustavo
Publicado: (2017) -
An alternative notion of quantifiers on three-valued Łukasiewicz algebras
por: Petrovich, A., et al. -
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.