Interpolation in Hájek's Basic Logic
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866929565751836672 |
|---|---|
| author | Fussner, Wesley Santschi, Simon |
| author_facet | Fussner, Wesley Santschi, Simon |
| contents | We exhaustively classify varieties of BL-algebras with the amalgamation property, showing that there are only countably many of them and solving an open problem of Montagna. As a consequence of this classification, we obtain a complete description of which axiomatic extensions of Hájek's basic fuzzy logic BL have the deductive interpolation property. Along the way, we provide similar classifications of varieties of basic hoops with the amalgamation property and axiomatic extensions of the negation-free fragment of BL with the deductive interpolation property. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_13617 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Interpolation in Hájek's Basic Logic Fussner, Wesley Santschi, Simon Logic Rings and Algebras 03G25, 03B47, 03C40, 06F05 We exhaustively classify varieties of BL-algebras with the amalgamation property, showing that there are only countably many of them and solving an open problem of Montagna. As a consequence of this classification, we obtain a complete description of which axiomatic extensions of Hájek's basic fuzzy logic BL have the deductive interpolation property. Along the way, we provide similar classifications of varieties of basic hoops with the amalgamation property and axiomatic extensions of the negation-free fragment of BL with the deductive interpolation property. |
| title | Interpolation in Hájek's Basic Logic |
| topic | Logic Rings and Algebras 03G25, 03B47, 03C40, 06F05 |
| url | https://arxiv.org/abs/2403.13617 |