Old and new from the theory of d-frames
Achim Jung ( University of Birmingham )
- 14:00 9th February 2018 ( week 4, Michaelmas Term 2017 )Lecture Theatre B
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:
