Overview
Availability
- Dr Tomasz Kowalski is:
- Available for supervision
Works
Search Professor Tomasz Kowalski’s works on UQ eSpace
2017
Journal Article
Analytic cut and interpolation for bi-intuitionistic logic
Kowalski, Tomasz and Ono, Hiroakira (2017). Analytic cut and interpolation for bi-intuitionistic logic. Review of Symbolic Logic, 10 (2), 259-283. doi: 10.1017/S175502031600040X
2016
Journal Article
Complexity and polymorphisms for digraph constraint problems under some basic constructions
Jackson, Marcel, Kowalski, Tomasz and Niven, Todd (2016). Complexity and polymorphisms for digraph constraint problems under some basic constructions. International Journal of Algebra and Computation, 26 (7), 1395-1433. doi: 10.1142/S0218196716500600
2016
Journal Article
An abelian rule for BCI-and variations
Kowalski, Tomasz and Humberstone, Lloyd (2016). An abelian rule for BCI-and variations. Notre Dame Journal of Formal Logic, 57 (4), 551-568. doi: 10.1215/00294527-3679398
2015
Journal Article
Representability of Ramsey Relation Algebras
Kowalski, Tomasz (2015). Representability of Ramsey Relation Algebras. Algebra Universalis, 74 (3-4), 265-275. doi: 10.1007/s00012-015-0353-0
2014
Journal Article
Quasi-subtractive varieties: Open filters, congruences and the commutator
Kowalski, Tomasz, Ledda, Antonio and Paoli, Francesco (2014). Quasi-subtractive varieties: Open filters, congruences and the commutator. Logic Journal of the IGPL, 22 (6), 844-871. doi: 10.1093/jigpal/jzu006
2014
Journal Article
The Power of a Propositional Constant
Goldblatt, Robert and Kowalski, Tomasz (2014). The Power of a Propositional Constant. Journal of Philosophical Logic, 43 (1), 133-152. doi: 10.1007/s10992-012-9256-0
2014
Journal Article
Quasi-discriminator varieties
Paoli, Francesco, Ledda, Antonio, Kowalski, Tomasz and Spinks, Matthew (2014). Quasi-discriminator varieties. International Journal of Algebra and Computation, 24 (3), 375-411. doi: 10.1142/S0218196714500179
2014
Journal Article
Kites and pseudo BL-algebras
Dvurečenskij, Anatolij and Kowalski, Tomasz (2014). Kites and pseudo BL-algebras. Algebra Universalis, 71 (3), 235-260. doi: 10.1007/s00012-014-0276-1
2014
Journal Article
BCK is not structurally complete
Kowalski, Tomasz (2014). BCK is not structurally complete. Notre Dame Journal of Formal Logic, 55 (2), 197-204. doi: 10.1215/00294527-2420642
2013
Journal Article
On independent varieties and some related notions
Kowalski, Tomasz, Paoli, Francesco and Ledda, Antonio (2013). On independent varieties and some related notions. Algebra Universalis, 70 (2), 107-136. doi: 10.1007/s00012-013-0243-2
2013
Journal Article
Boolean-like algebras
Salibra, Antonino, Ledda, Antonio, Paoli, Francesco and Kowalski, Tomasz (2013). Boolean-like algebras. Algebra Universalis, 69 (2), 113-138. doi: 10.1007/s00012-013-0223-6
2012
Journal Article
Computable Isomorphisms of Boolean Algebras with Operators
Khoussainov, Bakhadyr and Kowalski, Tomasz (2012). Computable Isomorphisms of Boolean Algebras with Operators. Studia Logica, 100 (3), 481-496. doi: 10.1007/s11225-012-9411-1
2012
Journal Article
On normal-valued basic pseudo-hoops
Botur, Michal, Dvurečenskij, Anatolij and Kowalski, Tomasz (2012). On normal-valued basic pseudo-hoops. Soft Computing, 16 (4), 635-644. doi: 10.1007/s00500-011-0763-7
2011
Journal Article
Quasi-subtractive varieties
Kowalski, Tomasz, Paoli, Francesco and Spinks, Matthew (2011). Quasi-subtractive varieties. Journal of Symbolic Logic, 76 (4), 1261-1286. doi: 10.2178/jsl/1318338848
2011
Journal Article
State morphism MV-algebras
Dvurečenskij, Anatolij, Kowalski, Tomasz and Montagna, Franco (2011). State morphism MV-algebras. International Journal of Approximate Reasoning, 52 (8), 1215-1228. doi: 10.1016/j.ijar.2011.07.003
2011
Journal Article
On Certain Quasivarieties of Quasi-MV Algebras
Ledda, Antonio, Kowalski, Tomasz and Paoli, Francesco (2011). On Certain Quasivarieties of Quasi-MV Algebras. Studia Logica, 98 (1), 149-174. doi: 10.1007/s11225-011-9331-5
2011
Journal Article
Joins and subdirect products of varieties
Kowalski, Tomasz and Paoli, Francesco (2011). Joins and subdirect products of varieties. Algebra Universalis, 65 (4), 371-391. doi: 10.1007/s00012-011-0137-0
2011
Journal Article
On decomposition of pseudo BL-algebras
Dvurečenskij, Anatolij and Kowalski, Tomasz (2011). On decomposition of pseudo BL-algebras. Mathematica Slovaca, 61 (3), 307-326. doi: 10.2478/s12175-011-0014-5
2010
Journal Article
Multipotent GBL-algebras
Dvurečenskij, Anatolij and Kowalski, Tomasz (2010). Multipotent GBL-algebras. Algebra Universalis, 64 (1), 25-38. doi: 10.1007/s00012-010-0085-0
2010
Journal Article
The Lattice of Subvarieties of √′, quasi-MV Algebras
Kowalski, T., Paoli, F., Giuntini, R. and Ledda, A. (2010). The Lattice of Subvarieties of √′, quasi-MV Algebras. Studia Logica, 95 (1), 37-61. doi: 10.1007/s11225-010-9256-4
Supervision
Availability
- Dr Tomasz Kowalski is:
- Available for supervision
Looking for a supervisor? Read our advice on how to choose a supervisor.
Media
Enquiries
For media enquiries about Dr Tomasz Kowalski's areas of expertise, story ideas and help finding experts, contact our Media team: