1 citations · 1 across the 11 of their papers we have counts for
5 papers · 2 filters
Gödel algebras: interactive dualities and their applications
Leonardo M. Cabrer, Hilary A. Priestley
We present a technique for deriving certain new natural dualities for any variety of algebras generated by a finite Heyting chain. The dualities we construct are tailored to admit…
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.…
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…
Coproducts of distributive lattice-based algebras
L. M. Cabrer, H. A. Priestley
This paper presents a systematic study of coproducts. This is carried out principally, but not exclusively, for finitely generated quasivarieties A that admit a (term) reduct in th…
Distributive bilattices from the perspective of natural duality theory
L. M. Cabrer, H. A. Priestley
This paper provides a fresh perspective on the representation of distributive bilattices and of related varieties. The techniques of naturalduality are employed to give, economical…