Tomasz Kowalski

MaRDI QIDQ353354zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A modular bisimulation characterisation for fragments of hybrid logic	2023-12-22	Paper
Kites and representations of pseudo MV-algebras Fuzzy Sets and Systems	2023-10-31	Paper
Edge colourings and qualitative representations of chromatic algebras Journal of Algebraic Combinatorics	2023-07-18	Paper
Robinson consistency in many-sorted hybrid first-order logics (available as arXiv preprint)	2023-03-24	Paper
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols Annals of Pure and Applied Logic	2022-12-23	Paper
Lindström’s theorem, both syntax and semantics free Journal Of Logic And Computation	2022-09-22	Paper
Robinson consistency in many-sorted hybrid first-order logics (available as arXiv preprint)	2022-08-18	Paper
Beyond wreath and block Semigroup Forum	2022-08-11	Paper
Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols (available as arXiv preprint)	2022-03-09	Paper
Splittings in varieties of logic International Journal of Algebra and Computation	2021-07-27	Paper
Free lattices proof-theoretically	2021-02-06	Paper
Fraïssé–Hintikka theorem in institutions Journal Of Logic And Computation	2020-12-15	Paper
Varieties of semiassociative relation algebras and tense algebras Algebra Universalis	2020-04-06	Paper
Coherence in modal logic (available as arXiv preprint)	2019-07-24	Paper
Normal extensions of KTB of codimension 3 (available as arXiv preprint)	2019-07-24	Paper
Uniform interpolation and coherence Annals of Pure and Applied Logic	2019-05-02	Paper
Uniform interpolation and coherence Annals of Pure and Applied Logic	2019-05-02	Paper
Algebraic foundations for qualitative calculi and networks Theoretical Computer Science	2019-03-26	Paper
Quasi-subtractive varieties: Open filters, congruences and the commutator Logic Journal of the IGPL	2019-01-08	Paper
Two-sided wreath product done right	2018-06-20	Paper
Uniform interpolation and coherence (available as arXiv preprint)	2018-03-24	Paper
Analytic cut and interpolation for bi-intuitionistic logic The Review of Symbolic Logic	2017-07-06	Paper
Relation algebras and \(\mathbf{R}\) Proceedings of the 12th Asian Logic Conference	2017-05-31	Paper
On when a semantics is not a good semantics: the algebraisation of orthomodular logic Probing the Meaning of Quantum Mechanics	2017-01-16	Paper
An abelian rule for BCI -- and variations Notre Dame Journal of Formal Logic	2016-12-15	Paper
Complexity and polymorphisms for digraph constraint problems under some basic constructions International Journal of Algebra and Computation	2016-12-14	Paper
Representability of Ramsey relation algebras Algebra Universalis	2015-10-14	Paper
The power of a propositional constant Journal of Philosophical Logic	2014-09-18	Paper
Quasi-discriminator varieties International Journal of Algebra and Computation	2014-07-18	Paper
BCK is not structurally complete Notre Dame Journal of Formal Logic	2014-06-04	Paper
Kites and pseudo BL-algebras. Algebra Universalis	2014-05-23	Paper
Weakly associative relation algebras hold the key to the universe	2014-04-23	Paper
On independent varieties and some related notions Algebra Universalis	2013-11-18	Paper
Boolean-like algebras Algebra Universalis	2013-07-12	Paper
On normal-valued basic pseudo-hoops Soft Computing	2013-01-25	Paper
Computable isomorphisms of Boolean algebras with operators Studia Logica	2012-12-12	Paper
On certain quasivarieties of quasi-MV algebras Studia Logica	2012-03-09	Paper
Quasi-subtractive varieties Journal of Symbolic Logic	2011-12-23	Paper
State morphism MV-algebras International Journal of Approximate Reasoning	2011-11-22	Paper
Joins and subdirect products of varieties Algebra Universalis	2011-08-16	Paper
On decomposition of pseudo BL-algebras Mathematica Slovaca	2011-07-15	Paper
On the structure of pseudo BL-algebras and pseudo hoops in quantum logics Foundations of Physics	2011-05-13	Paper
On some properties of quasi-MV algebras and \(\sqrt'\)quasi-MV algebras. III	2011-03-30	Paper
scientific article; zbMATH DE number 5869692 (Why is no real title available?)	2011-03-23	Paper
scientific article; zbMATH DE number 5869692 (Why is no real title available?)	2011-03-23	Paper
Multipotent GBL-algebras Algebra Universalis	2011-01-07	Paper
The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras Studia Logica	2010-12-01	Paper
Fuzzy logics from substructural perspective Fuzzy Sets and Systems	2010-03-18	Paper
Two cooperative versions of the guessing secrets problem Information Sciences	2009-10-01	Paper
All Splitting Logics in the Lattice NExt(KTB) Towards Mathematical Philosophy	2009-02-05	Paper
Completions of GBL-algebras: negative results Algebra Universalis	2009-01-29	Paper
Self-implications in BCI Notre Dame Journal of Formal Logic	2008-10-20	Paper
A finite fragment of S3	2008-06-18	Paper
scientific article; zbMATH DE number 5235523 (Why is no real title available?)	2008-02-15	Paper
A note on monothetic BCI Notre Dame Journal of Formal Logic	2007-08-01	Paper
Residuated lattices. An algebraic glimpse at substructural logics Studies in Logic and the Foundations of Mathematics	2007-05-30	Paper
Semisimple varieties of modal algebras Studia Logica	2006-10-27	Paper
Retraction note for “PDL has interpolation” Journal of Symbolic Logic	2005-08-29	Paper
Semisimplicity, EDPC and discriminator varieties of residuated lattices Studia Logica	2005-04-07	Paper
scientific article; zbMATH DE number 2063223 (Why is no real title available?)	2004-03-29	Paper
scientific article; zbMATH DE number 2015279 (Why is no real title available?)	2003-12-09	Paper
scientific article; zbMATH DE number 2015297 (Why is no real title available?)	2003-12-09	Paper
Splitting in the variety of residuated lattices Algebra Universalis	2003-04-23	Paper
PDL has interpolation Journal of Symbolic Logic	2002-11-27	Paper
Remarks on splittings in the variety of residuated lattices Reports on Mathematical Logic	2002-03-13	Paper
The variety of residuated lattices is generated by its finite simple members Reports on Mathematical Logic	2001-10-16	Paper
Outcomes in Branching Space-Time and GHZ-Bell Theorems The British Journal for the Philosophy of Science	2001-07-23	Paper
scientific article; zbMATH DE number 2024609 (Why is no real title available?)	2001-01-01	Paper
GHZ theorems in the framework of outcomes in branching space-time International Journal of Theoretical Physics	2000-11-14	Paper
scientific article; zbMATH DE number 1416396 (Why is no real title available?)	2000-07-31	Paper
scientific article; zbMATH DE number 912322 (Why is no real title available?)	1996-08-01	Paper

Research outcomes over time

This page was built for person: Tomasz Kowalski