Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.23664 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929569758445568 |
|---|---|
| author | Bezhanishvili, Guram Jansana, Ramon |
| author_facet | Bezhanishvili, Guram Jansana, Ramon |
| contents | We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley's duality for distributive lattices and provides an improvement of Celani's duality. Our generalized Priestley spaces are similar to the ones constructed by Hansoul. Thus, one can view our duality for distributive meet semi-lattices as a completion of Hansoul's work. For implicative meet semi-lattices our duality generalizes Esakia's duality for Heyting algebras and provides an improvement of Vrancken-Mawet's and Celani's dualities. In the finite case it also yield's Köhler's duality. Thus, one can view our duality for implicative meet semi-lattices as a completion of Köhler's work. As a consequence, we also obtain a new duality for Heyting algebras, which is an alternative to the Esakia duality. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_23664 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Duality for distributive and implicative semi-lattices Bezhanishvili, Guram Jansana, Ramon Logic 06A12, 06D50, 06D20 We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley's duality for distributive lattices and provides an improvement of Celani's duality. Our generalized Priestley spaces are similar to the ones constructed by Hansoul. Thus, one can view our duality for distributive meet semi-lattices as a completion of Hansoul's work. For implicative meet semi-lattices our duality generalizes Esakia's duality for Heyting algebras and provides an improvement of Vrancken-Mawet's and Celani's dualities. In the finite case it also yield's Köhler's duality. Thus, one can view our duality for implicative meet semi-lattices as a completion of Köhler's work. As a consequence, we also obtain a new duality for Heyting algebras, which is an alternative to the Esakia duality. |
| title | Duality for distributive and implicative semi-lattices |
| topic | Logic 06A12, 06D50, 06D20 |
| url | https://arxiv.org/abs/2410.23664 |