On Some Compatible Operations on Heyting Algebras

We study some operations that may be defined using the minimum operator in the context of a Heyting algebra. Our motivation comes from the fact that 1) already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smetanich and the operation G by Gabbay may be defined...

Descripción completa

Detalles Bibliográficos
Autores principales: Ertola Biraben, Rodolfo Cristian, San Martín, Hernán Javier
Formato: Articulo
Publicado: 2011
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/137724
Aporte de: Ver origen

Ejemplares similares