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
Lenguaje:Inglés
Publicado: 2011
Materias:
Matemática
Intuitionistic logic
Heyting algebra
Compatible operation
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/137724
Aporte de:
Aportado por : SEDICI (UNLP) de Universidad Nacional de La Plata .
Ver origen

Ejemplares similares

Ejemplares similares