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:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Artículo |
| Lenguaje: | Inglés |
| Materias: | |
| Acceso en línea: | https://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.16921/pr.16921.pdf http://sedici.unlp.edu.ar/handle/10915/137724 https://link.springer.com/article/10.1007/s11225-011-9338-y |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Search Result 1