Publications

Published

Quotients of d-frames (with Achim Jung, Aleš Pultr), Applied Categorical Structures, 2019.

d-Frames as algebraic duals of bitopological spaces, Charles University and University of Birmingham (Ph.D. thesis), 2018.

Free constructions and coproducts of d-frames (with Achim Jung), Proceedings of CALCO 2017.

Bitopology and four-valued logic (with Achim Jung, Aleš Pultr), Proceedings of the 32nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXXII), Electronic Notes in Theoretical Computer Science, 2016.

Tightness relative to some (co)reflections in topology (with Richard N. Ball, Bernhard Banaschewski, Aleš Pultr, Joanne Walters-Waylande), Quaestiones Mathematicae, 2016.

In preparation

  1. Tomáš Jakl: Canonical extensions of locally compact frames, submitted.
  2. Tomáš Jakl, Achim Jung: Free constructions of d-frames.

Other

Also see my Google Scholar, Github and Genealogy profiles.

My ORCID is 0000-0003-1930-4904.

Web Analytics