Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866929355172610048 |
|---|---|
| author | Kowalski, Tomasz Słomczyńska, Katarzyna |
| author_facet | Kowalski, Tomasz Słomczyńska, Katarzyna |
| contents | We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra terms, simpler proofs of several existing results, as well as a complete characterisation of structurally complete varieties of p-algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_14581 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Free p-algebras revisited: an algebraic investigation of implication-free intuitionism Kowalski, Tomasz Słomczyńska, Katarzyna Logic 06D15 (Primary), 06D20, 03G10 (Secondary) We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra terms, simpler proofs of several existing results, as well as a complete characterisation of structurally complete varieties of p-algebras. |
| title | Free p-algebras revisited: an algebraic investigation of implication-free intuitionism |
| topic | Logic 06D15 (Primary), 06D20, 03G10 (Secondary) |
| url | https://arxiv.org/abs/2405.14581 |