Tomasz Kowalski

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 18

Top Topics

Quantifier Elimination

Top Venues

Int. J. Algebra Comput.

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR (2024)
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. Ann. Pure Appl. Log. 174 (3) (2023)
Michal Botur, Tomasz Kowalski
Kites and representations of pseudo MV-algebras. Fuzzy Sets Syst. 455 (2023)
Daniel Gaina, Tomasz Kowalski
Lindström's theorem, both syntax and semantics free. J. Log. Comput. 32 (5) (2022)
Tomasz Kowalski, Gian Piero Gibiino, Jaroslaw Szewinski, Krzysztof Czuba, Dominik Rybka, Konrad Chmielewski, Zbigniew Wojciechowski, Maciej Sitek
Experimental Evaluation of Sub-Sampling IQ Detection for Low-Level RF Control in Particle Accelerator Systems. Sensors 22 (1) (2022)
Guillermo Badia, Tomasz Kowalski, Daniel Gaina
Robinson consistency in many-sorted hybrid first-order logics. AiML (2022)
Badriah Al Juaid, Marcel Jackson, James Koussas, Tomasz Kowalski
Qualitative representations of chromatic algebras. CoRR (2022)
Brian A. Davey, Tomasz Kowalski, Christopher J. Taylor
Splittings in varieties of logic. Int. J. Algebra Comput. 31 (4) (2021)
Daniel Gaina, Tomasz Kowalski
Fraïssé-Hintikka theorem in institutions. J. Log. Comput. 30 (7) (2020)
Tomasz Kowalski, George Metcalfe
Uniform interpolation and coherence. Ann. Pure Appl. Log. 170 (7) (2019)
Robin Hirsch, Marcel Jackson, Tomasz Kowalski
Algebraic foundations for qualitative calculi and networks. Theor. Comput. Sci. 768 (2019)
James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens
Normal Extensions of KTB of Codimension 3. Advances in Modal Logic (2018)
Tomasz Kowalski, George Metcalfe
Coherence in Modal Logic. Advances in Modal Logic (2018)
Karol Seweryn, Jedrzej Baran, Tomasz Barcinski, Pablo Colmenarejo, Aleksander Los, Tomasz Kowalski, Luis Mollinedo, Dario Mora, Jacek Musial, Gabriele Novelli, Jakub Oles, Katarzyna Ososinska, Pawel Pasko, Gaetano Prisco, Tomasz Rybus, Pedro Serra, Roman Wawrzaszek, Jesus Gil Fernandez
The prototype of space manipulator WMS LEMUR dedicated to capture tumbling satellites in on-orbit environment. RoMoCo (2017)
Tomasz Kowalski, Hiroakira Ono
Analytic Cut and interpolation for bi-intuitionistic Logic. Rev. Symb. Log. 10 (2) (2017)
Robin Hirsch, Marcel Jackson, Tomasz Kowalski, Todd Niven
Algebraic foundations for qualitative calculi and networks. CoRR (2016)
Marcel Jackson, Tomasz Kowalski, Todd Niven
Complexity and polymorphisms for digraph constraint problems under some basic constructions. Int. J. Algebra Comput. 26 (7) (2016)
Tomasz Kowalski, Lloyd Humberstone
An Abelian Rule for BCI - and Variations. Notre Dame J. Formal Log. 57 (4) (2016)
Tomasz Kowalski
BCK is not Structurally Complete. Notre Dame J. Formal Log. 55 (2) (2014)
Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks
Quasi-discriminator varieties. Int. J. Algebra Comput. 24 (3) (2014)
Robert Goldblatt, Tomasz Kowalski
The Power of a Propositional Constant. J. Philos. Log. 43 (1) (2014)
Tomasz Kowalski, Antonio Ledda, Francesco Paoli
Quasi-subtractive varieties: Open filters, congruences and the commutator. Log. J. IGPL 22 (6) (2014)
Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra
Boolean like algebras. TACL (2013)
Tomasz Kowalski
Relevant logic and relation algebras. TACL (2013)
Marcel Jackson, Tomasz Kowalski, Todd Niven
Digraph related constructions and the complexity of digraph homomorphism problems CoRR (2013)
Bakhadyr Khoussainov, Tomasz Kowalski
Computable Isomorphisms of Boolean Algebras with Operators. Stud Logica 100 (3) (2012)
Michal Botur, Anatolij Dvurecenskij, Tomasz Kowalski
On normal-valued basic pseudo-hoops. Soft Comput. 16 (4) (2012)
Tomasz Kowalski, Francesco Paoli, Matthew Spinks
Quasi-subtractive varieties. J. Symb. Log. 76 (4) (2011)
Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna
State morphism MV-algebras. Int. J. Approx. Reason. 52 (8) (2011)
Antonio Ledda, Tomasz Kowalski, Francesco Paoli
On Certain Quasivarieties of Quasi-MV Algebras. Stud Logica 98 (1-2) (2011)
Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras. Stud Logica 95 (1-2) (2010)
Francesco Paoli, Tomasz Kowalski
On some properties of quasi MV algebras and square root quasi MV algebras. Part III. Reports Math. Log. 45 (2010)
Tomasz Kowalski, Hiroakira Ono
Fuzzy logics from substructural perspective. Fuzzy Sets Syst. 161 (3) (2010)
Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini
Two cooperative versions of the Guessing Secrets problem. Inf. Sci. 179 (20) (2009)
Tomasz Kowalski, John K. Slaney
A finite fragment of S3. Reports Math. Log. 43 (2008)
Tomasz Kowalski
Self-implications in BCI. Notre Dame J. Formal Log. 49 (3) (2008)
Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li
Combining binary constraint networks in qualitative reasoning. ECAI (2008)
Tomasz Kowalski
Net Verifier of Discrete Event System models expressed by UML Activity Diagrams. SMC (2006)
Sam Butchart, Tomasz Kowalski
A Note on Monothetic BCI. Notre Dame J. Formal Log. 47 (4) (2006)
Tomasz Kowalski, Marcus Kracht
Semisimple Varieties of Modal Algebras. Stud Logica 83 (1-3) (2006)
Yosuke Katoh, Tomasz Kowalski, Masaki Ueda
Almost minimal varieties related to fuzzy logic. Reports Math. Log. 41 (2006)
Tomasz Kowalski
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. Stud Logica 77 (2) (2004)
Krzysztof Jassem, Filip Gralinski, Tomasz Kowalski
Applying Transition Networks in Translating Polish E-Mails. IIS (2003)
Tomasz Kowalski, Hiroakira Ono
The Variety of Residuated Lattices is Generated by its Finite Simple Members. Reports Math. Log. 34 (2000)
Tomasz Kowalski, Hiroakira Ono
Remarks on Splittings in the Variety of Residuated Lattices. Reports Math. Log. 34 (2000)
Tomasz Kowalski
Pretabular Varieties of Equivalential Algebras. Reports Math. Log. 33 (1999)
Tomasz Kowalski
Varieties of Tense Algebras. Reports Math. Log. 32 (1998)
Tomasz Kowalski
The Bottom of the Lattice of BCK-varieties. Reports Math. Log. 29 (1995)
Tomasz Kowalski
A Syntactic Proof of a Conjecture of Andrzej Wronski. Reports Math. Log. 28 (1994)