Interpolation in Hájek's basic logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F25%3A00637403" target="_blank" >RIV/67985807:_____/25:00637403 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1016/j.apal.2025.103615" target="_blank" >https://doi.org/10.1016/j.apal.2025.103615</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.apal.2025.103615" target="_blank" >10.1016/j.apal.2025.103615</a>

Result language
angličtina
Original language name
Interpolation in Hájek's basic logic
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

Project
<a href="/en/project/GM25-18306M" target="_blank" >GM25-18306M: Interpolation, Amalgamation, and Computation</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)