Tomasz Kowalski

According to our database, Tomasz Kowalski authored at least 50 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.

Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing

CoRR, 2024

2023

Kites and representations of pseudo MV-algebras.

Michal Botur, Tomasz Kowalski

Fuzzy Sets Syst., March, 2023

Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.

Daniel Gaina, Guillermo Badia, Tomasz Kowalski

Ann. Pure Appl. Log., 2023

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

Lindström's theorem, both syntax and semantics free.

Daniel Gaina, Tomasz Kowalski

J. Log. Comput., 2022

Qualitative representations of chromatic algebras.

Badriah Al Juaid, Marcel Jackson, James Koussas, Tomasz Kowalski

CoRR, 2022

Robinson consistency in many-sorted hybrid first-order logics.

Guillermo Badia, Tomasz Kowalski, Daniel Gaina

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Splittings in varieties of logic.

Brian A. Davey, Tomasz Kowalski, Christopher J. Taylor

Int. J. Algebra Comput., 2021

2020

Fraïssé-Hintikka theorem in institutions.

Daniel Gaina, Tomasz Kowalski

J. Log. Comput., 2020

2019

Algebraic foundations for qualitative calculi and networks.

Robin Hirsch, Marcel Jackson, Tomasz Kowalski

Theor. Comput. Sci., 2019

Uniform interpolation and coherence.

Tomasz Kowalski, George Metcalfe

Ann. Pure Appl. Log., 2019

2018

Coherence in Modal Logic.

Tomasz Kowalski, George Metcalfe

Proceedings of the Advances in Modal Logic 12, 2018

Normal Extensions of KTB of Codimension 3.

James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens

Proceedings of the Advances in Modal Logic 12, 2018

2017

Analytic Cut and interpolation for bi-intuitionistic Logic.

Tomasz Kowalski, Hiroakira Ono

Rev. Symb. Log., 2017

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, Pawel Pasko, Gaetano Prisco, Tomasz Rybus, Pedro Serra, Roman Wawrzaszek, Jesus Gil Fernandez

Proceedings of the 11th International Workshop on Robot Motion and Control, 2017

2016

An Abelian Rule for BCI - and Variations.

Tomasz Kowalski, Lloyd Humberstone

Notre Dame J. Formal Log., 2016

Complexity and polymorphisms for digraph constraint problems under some basic constructions.

Marcel Jackson, Tomasz Kowalski, Todd Niven

Int. J. Algebra Comput., 2016

Algebraic foundations for qualitative calculi and networks.

Robin Hirsch, Marcel Jackson, Tomasz Kowalski, Todd Niven

CoRR, 2016

2014

BCK is not Structurally Complete.

Tomasz Kowalski

Notre Dame J. Formal Log., 2014

The Power of a Propositional Constant.

Robert Goldblatt, Tomasz Kowalski

J. Philos. Log., 2014

Quasi-discriminator varieties.

Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks

Int. J. Algebra Comput., 2014

Quasi-subtractive varieties: Open filters, congruences and the commutator.

Tomasz Kowalski, Antonio Ledda, Francesco Paoli

Log. J. IGPL, 2014

2013

Digraph related constructions and the complexity of digraph homomorphism problems

Marcel Jackson, Tomasz Kowalski, Todd Niven

CoRR, 2013

Boolean like algebras.

Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Relevant logic and relation algebras.

Tomasz Kowalski

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

On normal-valued basic pseudo-hoops.

Michal Botur, Anatolij Dvurecenskij, Tomasz Kowalski

Soft Comput., 2012

Computable Isomorphisms of Boolean Algebras with Operators.

Bakhadyr Khoussainov, Tomasz Kowalski

Stud Logica, 2012

2011

On Certain Quasivarieties of Quasi-MV Algebras.

Antonio Ledda, Tomasz Kowalski, Francesco Paoli

Stud Logica, 2011

Quasi-subtractive varieties.

Tomasz Kowalski, Francesco Paoli, Matthew Spinks

J. Symb. Log., 2011

State morphism MV-algebras.

Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna

Int. J. Approx. Reason., 2011

2010

The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras.

Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda

Stud Logica, 2010

On some properties of quasi MV algebras and square root quasi MV algebras. Part III.

Francesco Paoli, Tomasz Kowalski

Reports Math. Log., 2010

Fuzzy logics from substructural perspective.

Tomasz Kowalski, Hiroakira Ono

Fuzzy Sets Syst., 2010

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

All Splitting Logics in the Lattice NExt(KTB).

Tomasz Kowalski, Yutaka Miyazaki

Proceedings of the Towards Mathematical Philosophy, 2009

2008

A finite fragment of S3.

Tomasz Kowalski, John K. Slaney

Reports Math. Log., 2008

Self-implications in BCI.

Tomasz Kowalski

Notre Dame J. Formal Log., 2008

Combining binary constraint networks in qualitative reasoning.

Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li

Proceedings of the ECAI 2008, 2008

2006

Semisimple Varieties of Modal Algebras.

Tomasz Kowalski, Marcus Kracht

Stud Logica, 2006

Almost minimal varieties related to fuzzy logic.

Yosuke Katoh, Tomasz Kowalski, Masaki Ueda

Reports Math. Log., 2006

A Note on Monothetic BCI.

Sam Butchart, Tomasz Kowalski

Notre Dame J. Formal Log., 2006

Net Verifier of Discrete Event System models expressed by UML Activity Diagrams.

Tomasz Kowalski

Proceedings of the IEEE International Conference on Systems, 2006

2004

Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices.

Tomasz Kowalski

Stud Logica, 2004

2003

Applying Transition Networks in Translating Polish E-Mails.

Krzysztof Jassem, Filip Gralinski, Tomasz Kowalski

Proceedings of the Intelligent Information Processing and Web Mining, 2003

2000

Remarks on Splittings in the Variety of Residuated Lattices.

Tomasz Kowalski, Hiroakira Ono

Reports Math. Log., 2000

The Variety of Residuated Lattices is Generated by its Finite Simple Members.

Tomasz Kowalski, Hiroakira Ono

Reports Math. Log., 2000

1999

Pretabular Varieties of Equivalential Algebras.

Tomasz Kowalski

Reports Math. Log., 1999

1998

Varieties of Tense Algebras.

Tomasz Kowalski

Reports Math. Log., 1998

1995

The Bottom of the Lattice of BCK-varieties.

Tomasz Kowalski

Reports Math. Log., 1995

1994

A Syntactic Proof of a Conjecture of Andrzej Wronski.

Tomasz Kowalski

Reports Math. Log., 1994