Free monadic Tarski and MMI3-algebras

MMI3-algebras are a generalization of the monadic Tarski algebras as defined by A. Monteiro and L. Iturrioz, and a particular case of the MMIn+1-algebras defined by A. Figallo. They can also be seen as monadic three-valued £ukasiewicz algebras without a first element. By using this point of view, an...

Descripción completa

Detalles Bibliográficos
Autores: Entizne, Rosana V., Monteiro, Luiz F., Savini, Sonia M., Viglizzo, Ignacio Dario
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2014
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/37155
Acceso en línea:http://hdl.handle.net/11336/37155
Access Level:acceso abierto
Palabra clave:FREE ALGEBRAS
GENERATORS
MMI3-ALGEBRAS
MONADIC EXTENSION
TARSKI ALGEBRAS
https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
Descripción
Sumario:MMI3-algebras are a generalization of the monadic Tarski algebras as defined by A. Monteiro and L. Iturrioz, and a particular case of the MMIn+1-algebras defined by A. Figallo. They can also be seen as monadic three-valued £ukasiewicz algebras without a first element. By using this point of view, and the free monadic extensions, we construct the free MMI3-algebras on a finite number of generators, and indicate the coordinates of the generators. As a byproduct, we also obtain a construction of the free monadic Tarski algebras.