Tomasz Kowalski

55 papers A 1B 4Journal 45Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Quasivarieties of p-Algebras: Some New Results. Stud Logica Tomasz Kowalski, Katarzyna Slomczynska
2025	J	`jnl`	A Modular Bisimulation characterisation for Fragments of Hybrid Logic. Bull. Symb. Log. Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025	J	`jnl`	Free p-algebras revisited: An algebraic investigation of implication-free intuitionism. Ann. Pure Appl. Log. Tomasz Kowalski, Katarzyna Slomczynska
2025	J	`jnl`	Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. ACM Trans. Comput. Log. Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2024	J	`jnl`	Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2023	J	`jnl`	Kites and representations of pseudo MV-algebras. Fuzzy Sets Syst. Michal Botur, Tomasz Kowalski
2023	J	`jnl`	Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. Ann. Pure Appl. Log. Daniel Gaina, Guillermo Badia, Tomasz Kowalski
2022	J	`jnl`	Experimental Evaluation of Sub-Sampling IQ Detection for Low-Level RF Control in Particle Accelerator Systems. Sensors Tomasz Kowalski, Gian Piero Gibiino, Jaroslaw Szewinski, Krzysztof Czuba, Dominik Rybka, Konrad Chmielewski, Zbigniew Wojciechowski, Maciej Sitek
2022	J	`jnl`	Lindström's theorem, both syntax and semantics free. J. Log. Comput. Daniel Gaina, Tomasz Kowalski
2022	J	`jnl`	Qualitative representations of chromatic algebras. CoRR Badriah Al Juaid, Marcel Jackson, James Koussas, Tomasz Kowalski
2022	B	`conf`	Robinson consistency in many-sorted hybrid first-order logics. AiML Guillermo Badia, Tomasz Kowalski, Daniel Gaina
2021	J	`jnl`	Splittings in varieties of logic. Int. J. Algebra Comput. Brian A. Davey, Tomasz Kowalski, Christopher J. Taylor
2020	J	`jnl`	Fraïssé-Hintikka theorem in institutions. J. Log. Comput. Daniel Gaina, Tomasz Kowalski
2020	J	`jnl`	Free lattices proof-theoretically. Australas. J. Log. Tomasz Kowalski
2019	J	`jnl`	Algebraic foundations for qualitative calculi and networks. Theor. Comput. Sci. Robin Hirsch, Marcel Jackson, Tomasz Kowalski
2019	J	`jnl`	Uniform interpolation and coherence. Ann. Pure Appl. Log. Tomasz Kowalski, George Metcalfe
2018	B	`conf`	Coherence in Modal Logic. Advances in Modal Logic Tomasz Kowalski, George Metcalfe
2018	B	`conf`	Normal Extensions of KTB of Codimension 3. Advances in Modal Logic James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens
2017	J	`jnl`	Analytic Cut and interpolation for bi-intuitionistic Logic. Rev. Symb. Log. Tomasz Kowalski, Hiroakira Ono
2017	—	`conf`	The prototype of space manipulator WMS LEMUR dedicated to capture tumbling satellites in on-orbit environment. RoMoCo 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
2016	J	`jnl`	Algebraic foundations for qualitative calculi and networks. CoRR Robin Hirsch, Marcel Jackson, Tomasz Kowalski, Todd Niven
2016	J	`jnl`	An Abelian Rule for BCI - and Variations. Notre Dame J. Formal Log. Tomasz Kowalski, Lloyd Humberstone
2016	J	`jnl`	Complexity and polymorphisms for digraph constraint problems under some basic constructions. Int. J. Algebra Comput. Marcel Jackson, Tomasz Kowalski, Todd Niven
2014	J	`jnl`	BCK is not Structurally Complete. Notre Dame J. Formal Log. Tomasz Kowalski
2014	J	`jnl`	Quasi-discriminator varieties. Int. J. Algebra Comput. Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks
2014	J	`jnl`	Quasi-subtractive varieties: Open filters, congruences and the commutator. Log. J. IGPL Tomasz Kowalski, Antonio Ledda, Francesco Paoli
2014	J	`jnl`	The Power of a Propositional Constant. J. Philos. Log. Robert Goldblatt, Tomasz Kowalski
2013	—	`conf`	Boolean like algebras. TACL Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra
2013	J	`jnl`	Digraph related constructions and the complexity of digraph homomorphism problems CoRR Marcel Jackson, Tomasz Kowalski, Todd Niven
2013	—	`conf`	Relevant logic and relation algebras. TACL Tomasz Kowalski
2012	J	`jnl`	Computable Isomorphisms of Boolean Algebras with Operators. Stud Logica Bakhadyr Khoussainov, Tomasz Kowalski
2012	J	`jnl`	On normal-valued basic pseudo-hoops. Soft Comput. Michal Botur, Anatolij Dvurecenskij, Tomasz Kowalski
2011	J	`jnl`	On Certain Quasivarieties of Quasi-MV Algebras. Stud Logica Antonio Ledda, Tomasz Kowalski, Francesco Paoli
2011	J	`jnl`	Quasi-subtractive varieties. J. Symb. Log. Tomasz Kowalski, Francesco Paoli, Matthew Spinks
2011	J	`jnl`	State morphism MV-algebras. Int. J. Approx. Reason. Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna
2010	J	`jnl`	Fuzzy logics from substructural perspective. Fuzzy Sets Syst. Tomasz Kowalski, Hiroakira Ono
2010	J	`jnl`	On some properties of quasi MV algebras and square root quasi MV algebras. Part III. Reports Math. Log. Francesco Paoli, Tomasz Kowalski
2010	J	`jnl`	The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras. Stud Logica Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda
2009	—	`ch.`	All Splitting Logics in the Lattice NExt(KTB). Towards Mathematical Philosophy Tomasz Kowalski, Yutaka Miyazaki
2009	J	`jnl`	Two cooperative versions of the Guessing Secrets problem. Inf. Sci. Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini
2008	J	`jnl`	A finite fragment of S3. Reports Math. Log. Tomasz Kowalski, John K. Slaney
2008	A	`conf`	Combining binary constraint networks in qualitative reasoning. ECAI Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li
2008	J	`jnl`	Self-implications in BCI. Notre Dame J. Formal Log. Tomasz Kowalski
2006	J	`jnl`	A Note on Monothetic BCI. Notre Dame J. Formal Log. Sam Butchart, Tomasz Kowalski
2006	J	`jnl`	Almost minimal varieties related to fuzzy logic. Reports Math. Log. Yosuke Katoh, Tomasz Kowalski, Masaki Ueda
2006	B	`conf`	Net Verifier of Discrete Event System models expressed by UML Activity Diagrams. SMC Tomasz Kowalski
2006	J	`jnl`	Semisimple Varieties of Modal Algebras. Stud Logica Tomasz Kowalski, Marcus Kracht
2004	J	`jnl`	Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. Stud Logica Tomasz Kowalski
2003	—	`conf`	Applying Transition Networks in Translating Polish E-Mails. IIS Krzysztof Jassem, Filip Gralinski, Tomasz Kowalski
2000	J	`jnl`	Remarks on Splittings in the Variety of Residuated Lattices. Reports Math. Log. Tomasz Kowalski, Hiroakira Ono
2000	J	`jnl`	The Variety of Residuated Lattices is Generated by its Finite Simple Members. Reports Math. Log. Tomasz Kowalski, Hiroakira Ono
1999	J	`jnl`	Pretabular Varieties of Equivalential Algebras. Reports Math. Log. Tomasz Kowalski
1998	J	`jnl`	Varieties of Tense Algebras. Reports Math. Log. Tomasz Kowalski
1995	J	`jnl`	The Bottom of the Lattice of BCK-varieties. Reports Math. Log. Tomasz Kowalski
1994	J	`jnl`	A Syntactic Proof of a Conjecture of Andrzej Wronski. Reports Math. Log. Tomasz Kowalski