Interpolation in Hájek's basic logic

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Interpolation in Hájek's basic logic

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Interpolation in Hájek's basic logic

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GM25-18306M" target="_blank" >GM25-18306M: Interpolace, amalgamace a výpočty</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2025

Kód důvěrnosti údajů

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

Název periodika

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

1873-2461

Svazek periodika

176

Číslo periodika v rámci svazku

9

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

25

Strana od-do

103615

Kód UT WoS článku

001501169900001

EID výsledku v databázi Scopus

2-s2.0-105006686155