Normal forms and representable functions in Moisil logic
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866912853595783168 |
|---|---|
| author | Sipos, Andrei |
| author_facet | Sipos, Andrei |
| contents | In this note, we determine, by a disjunctive normal form theorem, which functions on the standard $n$-nuanced Łukasiewicz-Moisil algebra are representable by formulas and we show how this result may help in establishing the structure of the free algebras in this class. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_00288 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Normal forms and representable functions in Moisil logic Sipos, Andrei Logic 03G25, 03B50, 06D30 In this note, we determine, by a disjunctive normal form theorem, which functions on the standard $n$-nuanced Łukasiewicz-Moisil algebra are representable by formulas and we show how this result may help in establishing the structure of the free algebras in this class. |
| title | Normal forms and representable functions in Moisil logic |
| topic | Logic 03G25, 03B50, 06D30 |
| url | https://arxiv.org/abs/2304.00288 |