• Publications
  • Influence
Bitopology and Four-valued Logic
TLDR
We propose a common generalisation of bilattices and d-frames and show that this not only still has a clear bitopological semantics but that it also preserves most of the original bilattice logic. Expand
  • 8
  • PDF
Tightness relative to some (co)reflections in topology
Abstract We address what might be termed the reverse reflection problem: given a monoreflection from a category A onto a subcategory B, when is a given object B ∈ B the reflection of a properExpand
  • 3
Free constructions and coproducts of d-frames
TLDR
A general theory of presentations for d-frames does not yet exist. Expand
  • 3
  • PDF
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
TLDR
We identify and highlight certain landmark results in Samson Abramsky's work which we believe are fundamental to current developments and future trends in logic and computer science. Expand
  • 1
  • PDF
Zborov 1917-2007
University of Birmingham Free constructions and coproducts of d-frames
A general theory of presentations for d-frames does not yet exist. We review the difficulties and give sufficient conditions for when they can be overcome. As an application we prove that theExpand
Quotients of d-Frames
TLDR
It is shown that every d-frame admits a complete lattice of quotients. Expand
  • 3
  • PDF
Classification of finite semigroups and categories using computational methods
TLDR
We report on our work in progress aimed at analyzing the structure of finite categories, with an eye to developing structure theorems for these. Expand
University of Birmingham Quotients of d-Frames
It is shown that every d-frame admits a complete lattice of quotients. Quotienting may be triggered by a binary relation on one of the two constituent frames, or by changes to the consistency orExpand
d-Frames as algebraic duals of bitopological spaces
  • Tomás Jakl
  • Mathematics, Computer Science
  • 20 February 2018
TLDR
Achim Jung and Drew Moshier developed a Stone-type duality theory for bitopological spaces, amongst others, as a practical tool for solving a particular problem in the theory of stably compact spaces. Expand
  • 3