Staff profile

Dr Tomasz Kowalski

Associate Professor, Future Fellow

Faculty of Science, Technology and Engineering

School of Engineering and Mathematical Sciences
Department of Mathematics and Statistics

Melbourne (Bundoora)

 

Qualifications

Ph.D., Habilitation: Jagiellonian University, Krakow (Poland)

Membership of professional Associations

Australian Mathematical Society, Association for Symbolic Logic

Area of study

Mathematics and Statistics

Recent Publications

Books

  1. N. Galatos, P. Jipsen, T.K., H. Ono. Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, Studies in Logic and the Foundations of Mathematics, 151, 2007.

Book chapters

  1. T.K., Y. Miyazaki,  All splitting logics in the lattice NEXT(KTB),  Towards Mathematical Philosophy, Trends in Logic 28 (2008), 1-15.

Journal articles

  1. M. Botur, A. Dvurecenskij, T.K., On Normal-Valued Basic Pseudo Hoops, Soft Computing 16, no. 4 (2012), 635-644.
  2. T.K., F. Paoli, M. Spinks, Quasi-subtractive varieties, Journal of Symbolic Logic 76, no. 4 (2011), 1261-1286.
  3. A. Dvurecenskij, T.K., On decomposition of pseudo-BL algebras, Mathematica Slovaca, 61, no. 3 (2011), 307-326.
  4. A. Dvurecenskij, T.K., F. Montagna, State Morphism MV-algebras, International Journal of Approximate Reasoning, 52 (2011), pp. 1215-1228.
  5. T.K., A. Ledda, F. Paoli, On Certain Quasivarieties of Quasi-MV Algebras, Studia Logica 98, no. 1-2 (2011), 149-174.
  6. T.K., F. Paoli, Joins and subdirect products of varieties, Algebra Universalis, 65, no. 4 (2011), 371-391.
  7. A. Dvurecenskij, R. Giuntini, T.K., On the Structure of Pseudo BL-algebras and Pseudo Hoops in Quantum Logics, Foundations of Physics 40, no. 9--10 (2010), 1519-1542.
  8. T.K., Diassociativity is not finitely based relative to power associativity, Commentationes Mathematicae Universitatis Carolinae, 51, no. 2 (2010) 305-317.
  9. R. Giuntini, T.K., A. Ledda, F. Paoli, The lattice of subvarieties of square-root-quasi-MV algebras, Studia Logica, 95, no. 1--2, (2010) 37-61.
  10. A. Dvurecenskij, T.K. Multipotent GBL-algebras, Algebra Universalis, 64, no.1 (2010), 25-38.
  11. T.K., F. Paoli, On some properties of quasi-MV algebras and squate-root-quasi-MV algebras. Part III, Reports on Mathematical Logic 45 (2010), 161--199.
  12. T.K., H. Ono, Fuzzy logics from substructural perspective, Fuzzy Sets and Systems 161, no. 3 (2010), 301-310.
  13. H. Freytes, R. Giuntini, T.K., A. Ledda, C. Marini, F. Montagna, F. Paoli, G. Sergioli, Two cooperative versions of Guessing Secrets problem, Information Sciences, 179, no. 20, (2009) 3645-3658.
  14. T.K., Self-implications in BCI, Notre Dame Journal of Formal Logic 49, no. 3 (2008), 295-305.
  15. T.K., J. Slaney,  A finite fragment of S3, Reports on Mathematical Logic 43 (2008), 15-19.
  16. T.K., T. Litak,  Completions of GBL-algebras: negative results, Algebra Universalis 58 (2008) 373-384.
  17. T.K., Weakly associative relation algebras hold the Key to the Universe,  Bulletin of the Section of Logic 36: 3/4 (2007), 1-13.
  18. S. Butchard, T.K., A note on monothetic BCI, Notre Dame Journal of Formal Logic 47, no. 4 (2006), 541-544. 

Conference proceedings

  1.  T.K., J. J. Li, S. Li, J. Renz, Combining binary constraint networks in qualitative reasoning,  Proceedings of 18th European Conference on Artificial Intelligence, IOS Press, Frontiers in Artificial Intelligence and Applications, vol. 178, pp. 515-519 (2008).

Resume

Download Resume