Canonical extensions of lattices are more than perfect

13 Jan 2020 Craig Andrew P. K. Gouveia Maria J. Haviar Miroslav

In \cite{CGH15} we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical extensions of lattices. In this continuation of \cite{CGH15} we answer Problem 2 from there by characterising the perfect lattices that are dual to TiRS frames (and hence TiRS graphs)... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC