Interpolation in H\'ajek's Basic Logic
Logic
2024-10-30 v2 Rings and Algebras
Abstract
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\'{a}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.
Keywords
Cite
@article{arxiv.2403.13617,
title = {Interpolation in H\'ajek's Basic Logic},
author = {Wesley Fussner and Simon Santschi},
journal= {arXiv preprint arXiv:2403.13617},
year = {2024}
}