Artículo

A Representation Theorem for k × j -rough Heyting Algebras

Almiñana Reinoso, Federico GabrielIcon ; Pelaitay, Gustavo AndrésIcon
Fecha de publicación: 03/2022
Editorial: Old City Publishing Inc
Revista: Journal of Multiple-Valued Logic and Soft Computing
ISSN: 1542-3980
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

-rough Heyting algebras were introduced by Eric San Juan in 2008 as an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of rough set concepts in particular. In 2020, we defined and studied the variety of × -rough Heyting algebras. These algebras constitute an extension of Heyting algebras and in j = 2 case they coincide with -rough Heyting algebras. In this note, we give a functional representation theorem and we determine a necessary and sufficient condition under which such embedded is onto.
Palabras clave: HEYTING ALGEBRAS , K-ROUGH HEYTING ALGEBRAS , K X J-ROUGH HEYTING ALGEBRAS , 3-VALUED LUKASIEWICZ--MOISIL ALGEBRAS
 
Archivos asociados
Tamaño: 213.3Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/restrictedAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/208321
URL: https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc
Colecciones
Articulos(CCT - SAN JUAN)
Articulos de CENTRO CIENTIFICO TECNOLOGICO CONICET - SAN JUAN
Citación
Almiñana Reinoso, Federico Gabriel; Pelaitay, Gustavo Andrés; A Representation Theorem for k × j -rough Heyting Algebras; Old City Publishing Inc; Journal of Multiple-Valued Logic and Soft Computing; 38; 5-6; 3-2022; 603-614
Compartir