|
2017 Journal Article Analytic cut and interpolation for bi-intuitionistic logicKowalski, 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 constructionsJackson, 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 variationsKowalski, 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 AlgebrasKowalski, 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 commutatorKowalski, 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 ConstantGoldblatt, 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 Kites and pseudo BL-algebrasDvureč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 completeKowalski, Tomasz (2014). BCK is not structurally complete. Notre Dame Journal of Formal Logic, 55 (2), 197-204. doi: 10.1215/00294527-2420642 |
|
2014 Journal Article Quasi-discriminator varietiesPaoli, 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 |
|
2013 Journal Article On independent varieties and some related notionsKowalski, 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 algebrasSalibra, 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 OperatorsKhoussainov, 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-hoopsBotur, 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 varietiesKowalski, 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-algebrasDvureč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 AlgebrasLedda, 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 varietiesKowalski, 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-algebrasDvureč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-algebrasDvureč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 AlgebrasKowalski, 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 |
