Skip to main content

Old and new from the theory of d-frames

Achim Jung ( University of Birmingham )

Abstract: Drew Moshier and I introduced d-Frames some 10 years ago, as structures that encapsulate ideas from pointfree topology, Stone duality, Domain Theory in Logical Form, and four-valued logic. My plan for this talk is to given an overview of some of the results we have been proving, including some of the most recent developments. The "we" in this sentence refers to Olaf Klinke, Tomas Jakl, and Ales Pultr.



Share this: