On the preservation of unification type of Heyting algebras and interior algebras
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915544693735424 |
|---|---|
| author | Düntsch, Ivo Dzik, Wojciech |
| author_facet | Düntsch, Ivo Dzik, Wojciech |
| contents | The purpose of this note is to shed some light on the preservation of unification types of locally finite varieties of interior algebras and varieties of Heyting algebras under the functors presented by W. Blok in his dissertation. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_09455 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the preservation of unification type of Heyting algebras and interior algebras Düntsch, Ivo Dzik, Wojciech Logic The purpose of this note is to shed some light on the preservation of unification types of locally finite varieties of interior algebras and varieties of Heyting algebras under the functors presented by W. Blok in his dissertation. |
| title | On the preservation of unification type of Heyting algebras and interior algebras |
| topic | Logic |
| url | https://arxiv.org/abs/2510.09455 |