A Syntactic Proof of a Conjecture of Andrzej Wronski. - Tomasz Kowalski (Reports Math. Log., 1994)

The Bottom of the Lattice of BCK-varieties. - Tomasz Kowalski (Reports Math. Log., 1995)

Varieties of Tense Algebras. - Tomasz Kowalski (Reports Math. Log., 1998)

Pretabular Varieties of Equivalential Algebras. - Tomasz Kowalski (Reports Math. Log., 1999)

The Variety of Residuated Lattices is Generated by its Finite Simple Members. - Tomasz Kowalski; Hiroakira Ono (Reports Math. Log., 2000)

Remarks on Splittings in the Variety of Residuated Lattices. - Tomasz Kowalski; Hiroakira Ono (Reports Math. Log., 2000)

Applying Transition Networks in Translating Polish E-Mails. - Krzysztof Jassem; Filip Gralinski; Tomasz Kowalski (IIS, 2003)

Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. - Tomasz Kowalski (Stud Logica, 2004)

Net Verifier of Discrete Event System models expressed by UML Activity Diagrams. - Tomasz Kowalski (SMC, 2006)

A Note on Monothetic BCI. - Sam Butchart; Tomasz Kowalski (Notre Dame J. Formal Log., 2006)

Almost minimal varieties related to fuzzy logic. - Yosuke Katoh; Tomasz Kowalski; Masaki Ueda (Reports Math. Log., 2006)

Semisimple Varieties of Modal Algebras. - Tomasz Kowalski; Marcus Kracht (Stud Logica, 2006)

Combining binary constraint networks in qualitative reasoning. - Jason Jingshi Li; Tomasz Kowalski; Jochen Renz; Sanjiang Li (ECAI, 2008)

Self-implications in BCI. - Tomasz Kowalski (Notre Dame J. Formal Log., 2008)

A finite fragment of S3. - Tomasz Kowalski; John K. Slaney (Reports Math. Log., 2008)

All Splitting Logics in the Lattice NExt(KTB). - Tomasz Kowalski; Yutaka Miyazaki (Towards Mathematical Philosophy, 2009)

Two cooperative versions of the Guessing Secrets problem. - Giuseppe Sergioli; Antonio Ledda; Francesco Paoli; Roberto Giuntini; Tomasz Kowalski; Franco Montagna; Hector Freytes; Claudio Marini (Inf. Sci., 2009)

Fuzzy logics from substructural perspective. - Tomasz Kowalski; Hiroakira Ono (Fuzzy Sets Syst., 2010)

On some properties of quasi MV algebras and square root quasi MV algebras. Part III. - Francesco Paoli; Tomasz Kowalski (Reports Math. Log., 2010)

The Lattice of Subvarieties of $${ sqrt{ prime}}$$ quasi-MV Algebras. - Tomasz Kowalski; Francesco Paoli; Roberto Giuntini; Antonio Ledda (Stud Logica, 2010)

State morphism MV-algebras. - Anatolij Dvurecenskij; Tomasz Kowalski; Franco Montagna (Int. J. Approx. Reason., 2011)

Quasi-subtractive varieties. - Tomasz Kowalski; Francesco Paoli; Matthew Spinks (J. Symb. Log., 2011)

On Certain Quasivarieties of Quasi-MV Algebras. - Antonio Ledda; Tomasz Kowalski; Francesco Paoli (Stud Logica, 2011)

Computable Isomorphisms of Boolean Algebras with Operators. - Bakhadyr Khoussainov; Tomasz Kowalski (Stud Logica, 2012)

On normal-valued basic pseudo-hoops. - Michal Botur; Anatolij Dvurecenskij; Tomasz Kowalski (Soft Comput., 2012)

Relevant logic and relation algebras. - Tomasz Kowalski (TACL, 2013)

Boolean like algebras. - Antonio Ledda; Tomasz Kowalski; Francesco Paoli; Antonino Salibra (TACL, 2013)

Digraph related constructions and the complexity of digraph homomorphism problems - Marcel Jackson; Tomasz Kowalski; Todd Niven (CoRR, 2013)

Quasi-subtractive varieties: Open filters, congruences and the commutator. - Tomasz Kowalski; Antonio Ledda; Francesco Paoli (Log. J. IGPL, 2014)

Quasi-discriminator varieties. - Francesco Paoli; Antonio Ledda; Tomasz Kowalski; Matthew Spinks (Int. J. Algebra Comput., 2014)

The Power of a Propositional Constant. - Robert Goldblatt; Tomasz Kowalski (J. Philos. Log., 2014)

BCK is not Structurally Complete. - Tomasz Kowalski (Notre Dame J. Formal Log., 2014)

Algebraic foundations for qualitative calculi and networks. - Robin Hirsch; Marcel Jackson; Tomasz Kowalski; Todd Niven (CoRR, 2016)

Complexity and polymorphisms for digraph constraint problems under some basic constructions. - Marcel Jackson; Tomasz Kowalski; Todd Niven (Int. J. Algebra Comput., 2016)

An Abelian Rule for BCI - and Variations. - Tomasz Kowalski; Lloyd Humberstone (Notre Dame J. Formal Log., 2016)

The prototype of space manipulator WMS LEMUR dedicated to capture tumbling satellites in on-orbit environment. - Karol Seweryn; Jedrzej Baran; Tomasz Barcinski; Pablo Colmenarejo; Aleksander Los; Tomasz Kowalski; Luis Mollinedo; Dario Mora; Jacek Musial; Gabriele Novelli; Jakub Oles; Katarzyna Ososinska; et al. (RoMoCo, 2017)

Analytic Cut and interpolation for bi-intuitionistic Logic. - Tomasz Kowalski; Hiroakira Ono (Rev. Symb. Log., 2017)

Normal Extensions of KTB of Codimension 3. - James Koussas; Tomasz Kowalski; Yutaka Miyazaki; Michael Stevens (Advances in Modal Logic, 2018)

Coherence in Modal Logic. - Tomasz Kowalski; George Metcalfe (Advances in Modal Logic, 2018)

Uniform interpolation and coherence. - Tomasz Kowalski; George Metcalfe (Ann. Pure Appl. Log., 2019)

Algebraic foundations for qualitative calculi and networks. - Robin Hirsch; Marcel Jackson; Tomasz Kowalski (Theor. Comput. Sci., 2019)

Fraïssé-Hintikka theorem in institutions. - Daniel Gaina; Tomasz Kowalski (J. Log. Comput., 2020)

Splittings in varieties of logic. - Brian A. Davey; Tomasz Kowalski; Christopher J. Taylor 002 (Int. J. Algebra Comput., 2021)

Robinson consistency in many-sorted hybrid first-order logics. - Guillermo Badia; Tomasz Kowalski; Daniel Gaina (AiML, 2022)

Qualitative representations of chromatic algebras. - Badriah Al Juaid; Marcel Jackson; James Koussas; Tomasz Kowalski (CoRR, 2022)

Lindström's theorem, both syntax and semantics free. - Daniel Gaina; Tomasz Kowalski (J. Log. Comput., 2022)

Experimental Evaluation of Sub-Sampling IQ Detection for Low-Level RF Control in Particle Accelerator Systems. - Tomasz Kowalski; Gian Piero Gibiino; Jaroslaw Szewinski; Krzysztof Czuba; Dominik Rybka; Konrad Chmielewski; Zbigniew Wojciechowski; Maciej Sitek (Sensors, 2022)

Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. - Daniel Gaina; Guillermo Badia; Tomasz Kowalski (Ann. Pure Appl. Log., 2023)

Kites and representations of pseudo MV-algebras. - Michal Botur; Tomasz Kowalski (Fuzzy Sets Syst., 2023)

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. - Guillermo Badia; Daniel Gaina; Alexander Knapp; Tomasz Kowalski; Martin Wirsing (CoRR, 2024)

Free p-algebras revisited: An algebraic investigation of implication-free intuitionism. - Tomasz Kowalski; Katarzyna Slomczynska (Ann. Pure Appl. Log., 2025)