Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.09455 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |