Operators Max L and Min U and duals of Boolean posets
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866918009351700480 |
|---|---|
| author | Chajda, Ivan Kolařík, Miroslav Länger, Helmut |
| author_facet | Chajda, Ivan Kolařík, Miroslav Länger, Helmut |
| contents | When working with posets which are not necessarily lattices, one has a lack of lattice operations which causes problems in algebraic constructions. This is the reason why we use the operators Max L and Min U substituting infimum and supremum, respectively. We axiomatize these operators. Two more operators, namely the so-called symmetric difference and the Sheffer operator, are introduced and studied in complemented posets by using the operators Max L and Min U. In Boolean algebras, the symmetric difference is used to construct its dual structure, the corresponding unitary Boolean ring. By generalizing this idea, we assign to each Boolean poset a so-called dual and prove that also, conversely, a Boolean poset can be derived from its dual. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_02552 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Operators Max L and Min U and duals of Boolean posets Chajda, Ivan Kolařík, Miroslav Länger, Helmut Logic 06A11, 06B75, 06C15, 06E75, 06E20 When working with posets which are not necessarily lattices, one has a lack of lattice operations which causes problems in algebraic constructions. This is the reason why we use the operators Max L and Min U substituting infimum and supremum, respectively. We axiomatize these operators. Two more operators, namely the so-called symmetric difference and the Sheffer operator, are introduced and studied in complemented posets by using the operators Max L and Min U. In Boolean algebras, the symmetric difference is used to construct its dual structure, the corresponding unitary Boolean ring. By generalizing this idea, we assign to each Boolean poset a so-called dual and prove that also, conversely, a Boolean poset can be derived from its dual. |
| title | Operators Max L and Min U and duals of Boolean posets |
| topic | Logic 06A11, 06B75, 06C15, 06E75, 06E20 |
| url | https://arxiv.org/abs/2505.02552 |