|
2008 Journal Article Self-implications in BCIKowalski, Tomasz (2008). Self-implications in BCI. Notre Dame Journal of Formal Logic, 49 (3), 295-305. doi: 10.1215/00294527-2008-013 |
|
2008 Journal Article Completions of GBL-algebras: Negative resultsKowalski, Tomasz and Litak, Tadeusz (2008). Completions of GBL-algebras: Negative results. Algebra Universalis, 58 (4), 373-384. doi: 10.1007/s00012-008-2056-2 |
|
2007 Journal Article Weakly associative relation algebras hold the key to the universeKowalski, Tomasz (2007). Weakly associative relation algebras hold the key to the universe. Bulletin of the Section of Logic, 36 (3-4), 145-157. |
|
2006 Journal Article A note on monothetic BCIKowalski, Tomasz and Butchart, Sam (2006). A note on monothetic BCI. Notre Dame Journal of Formal Logic, 47 (4), 541-544. doi: 10.1305/ndjfl/1168352666 |
|
2006 Journal Article Semisimple varieties of modal algebrasKowalski, T. and Kracht, M. (2006). Semisimple varieties of modal algebras. Studia Logica, 83 (1-3), 351-363. doi: 10.1007/s11225-006-8308-2 |
|
2004 Journal Article Retraction note for “PDL has interpolation”Kowalski, Tomasz (2004). Retraction note for “PDL has interpolation”. Journal of Symbolic Logic, 69 (3). doi: 10.2178/jsl/1096901777 |
|
2001 Journal Article Atomic incompleteness or how to kill one bird with two stonesKracht, Marcus and Kowalski, Tomasz (2001). Atomic incompleteness or how to kill one bird with two stones. Bulletin of the Section of Logic, 30 (2), 71-78. |
|
2001 Journal Article Propositional dynamic logic has interpolationKowalski, Tomasz (2001). Propositional dynamic logic has interpolation. Bulletin of the Section of Logic, 30 (1), 33-39. |
|
2000 Journal Article Splittings in the variety of residuated latticesKowalski, Tomasz and Ono, Hiroakira (2000). Splittings in the variety of residuated lattices. Algebra Universalis, 44 (3-4), 283-298. doi: 10.1007/s000120050187 |
|
2000 Journal Article A remark on quasivarieties of modal algebrasKowalski, Tomasz (2000). A remark on quasivarieties of modal algebras. Bulletin of the Section of Logic, 29 (1-2), 27-30. |
|
1999 Journal Article Outcomes in branching space-time and GHZ-Bell theoremsKowalski, T and Placek, T (1999). Outcomes in branching space-time and GHZ-Bell theorems. British Journal for the Philosophy of Science, 50 (3), 349-375. doi: 10.1093/bjps/50.3.349 |
|
1996 Journal Article A perzanowski's hypothesis confirmedKowalski, Tomasz (1996). A perzanowski's hypothesis confirmed. Bulletin of the Section of Logic, 25 (1), 58-59. |
