VLDB 2026 Research / reviewers in the wild / expert
Slawomir Kost
dblp:223/8186
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 logicsabstractAn 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-IEEE | 1 |
| 2022 | Finitary unification in locally tabular modal logics characterized
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak |
Ann. Pure Appl. Log. | 2 |