Slawomir Kost

dblp:223/8186 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
3since 2021 · last 2025
0000-0003-1898-9489ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Unification types and union splittings in intermediate logics
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak
Ann. Pure Appl. Log.2
2022 Asymptotic comparison of the implicative fragments of certain fuzzy logics
abstract
An asymptotic similarity of some fragments of two fuzzy logics is proved. We focus on two 3-valued fuzzy logics: the Gödel-Dummett one and the Łukasiewicz one and we consider their purely implicative fragments of two variables. This paper shows the existence of the densities of truth of these logics and determines their values. For this purpose we build the appropriate Tarski-Lindenbaum algebra and use extensively generating functions. Our method can be generalized to n-valued logics, n > 3, but all computations will be extremely complicated.
Slawomir Kost, Zofia Kostrzycka
FUZZ-IEEE1
2022 Finitary unification in locally tabular modal logics characterized
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak
Ann. Pure Appl. Log.2