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...
Guardado en:
| Autores principales: | Ertola Biraben, Rodolfo Cristian, San Martín, Hernán Javier |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2011
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/137724 |
| Aporte de: |
Ejemplares similares
-
Compatible operations in some subvarieties of the variety of weak Heyting algebras
por: San Martín, Hernán Javier
Publicado: (2013) -
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property
por: Castiglioni, José Luis, et al.
Publicado: (2012) -
Frontal operators in weak Heyting algebras
por: Celani, Sergio A., et al.
Publicado: (2012) -
Compatible operations on commutative weak residuated lattices
por: San Martín, Hernán Javier
Publicado: (2015) -
The finite model property for the variety of Heyting algebras with successor
por: Castiglioni, José Luis, et al.
Publicado: (2012)