adiunkt
Unifikacja i jej typy w logice.
1. Dzik Wojciech, Kost Sławomir, Wojtylak Piotr: Finitary unification in locally tabular modal logics characterized, Annals of Pure and Applied Logic, vol. 173, nr 4, 2022, Numer artykułu: 103072, s. 1-39, DOI:10.1016/j.apal.2021.103072.
2. Kost Sławomir, Kostrzycka Zofia: Asymptotic comparison of the implicative fragments of certain fuzzy logics , W: 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) Padua, Italy July 18 - 23, 2022, 2022, Institute of Electrical and Electronics Engineers, ISBN 978-1-6654-6710-0, s. 1-8, DOI:10.1109/FUZZ-IEEE55066.2022.9882699.
3. Dzik Wojciech, Kost Sławomir, Wojtylak Piotr: Unification types and union splittings in intermediate logics, Annals of Pure and Applied Logic, vol. 176, nr 1, 2025 (dostępny online od 16.08.2024), Numer artykułu: 508 , s. DOI:10.1016/j.apal.2024.103508.
Uniwersytet Opolski
ul. Kopernika 11a
45-040 Opole
Rektorat
tel.: 77 541 59 03
Biuro Kanclerza
tel.: 77 541 60 70
NIP: 754-000-71-79
Regon: 000001382
