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

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 proper… Expand

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

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 the… Expand

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 or… Expand

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