151 citations · 163 across the 9 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
math.RA2013
Product representation for default bilattices: an application of natural duality theory
L. M. Cabrer, A. P. K. Craig, H. A. Priestley
Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language.…
math.RA2013
A fresh perspective on canonical extensions for bounded lattices
A. P. K. Craig, M. Haviar, H. A. Priestley
This paper presents a novel treatment of the canonical extension of a bounded lattice, in the spirit of thetheory of natural dualities. At the level of objects, this can be achieve…