Tomasz Kowalski

1. The Comet Interceptor Mission
   2024/01/24 by G. H. Jones, Geraint H. Jones, Colin Snodgrass +283 · 7 citations
   Physics and Astronomy · #Astro and Planetary Science #Stellar, planetary, and galactic studies #Planetary Science and Exploration
2. Kites and Pseudo BL-algebras
   2012/07/09 by Anatolij Dvurečenskij, Dvurecenskij, Anatolij, Tomasz Kowalski +1 · 2 citations
   Computer Science · Decision Sciences · #03B50 #06B20 #Advanced Algebra and Logic #FOS: Mathematics #Fuzzy and Soft Set Theory #Rings and Algebras (math.RA) #Rough Sets and Fuzzy Logic
3. Uniform interpolation and coherence
   2018/03/24 by Tomasz Kowalski, George Metcalfe, Kowalski, Tomasz +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
4. Coherence in Modal Logic
   2019/02/07 by Tomasz Kowalski, George Metcalfe, Kowalski, Tomasz +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
5. A generic construction of free algebras in varieties of Hilbert algebras and Brouwerian semilattices
   2026/07/21 by Tomasz Kowalski, Katarzyna Słomczyńska
   #math.LO
6. Definable Classes of Models and Frames in Bi-intuitionistic Logic
   2026/07/21 by Guillermo Badia, Tomasz Kowalski, Grigory Olkhovikov
   #math.LO