Hilary A. Priestley

24 papers Journal 21Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv.
Stud Logica
Hilary A. Priestley
2019 J jnl
Checking Admissibility Using Natural Dualities.
ACM Trans. Comput. Log.
Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley
2017 J jnl
Bohr Compactifications of Algebras and Structures.
Appl. Categorical Struct.
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
2016 J jnl
Natural Dualities Through Product Representations: Bilattices and Beyond.
Stud Logica
Leonardo Manuel Cabrer, Hilary A. Priestley
2015 J jnl
A general framework for product representations: bilattices and beyond.
Log. J. IGPL
Leonardo Manuel Cabrer, Hilary A. Priestley
2014 J jnl
Canonical Extensions and Profinite Completions of Semilattices and Lattices.
Order
Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley
2013 J jnl
A Fresh Perspective on Canonical Extensions for Bounded Lattices.
Appl. Categorical Struct.
A. P. K. Craig, Miroslav Haviar, Hilary A. Priestley
2013 — conf
Coproducts of Distributive Lattice based Algebras.
TACL
Leonardo Manuel Cabrer, Hilary A. Priestley
2013 J jnl
Product representation for default bilattices: an application of natural duality theory.
CoRR
Leonardo Manuel Cabrer, A. P. K. Craig, Hilary A. Priestley
2012 J jnl
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.
Stud Logica
Brian A. Davey, Hilary A. Priestley
2012 J jnl
Natural Dualities in Partnership.
Appl. Categorical Struct.
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
2008 J jnl
Canonical extensions and completions of posets and lattices.
Reports Math. Log.
Mai Gehrke, Hilary A. Priestley
2007 J jnl
Boolean Topological Distributive Lattices and Canonical Extensions.
Appl. Categorical Struct.
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
2007 J jnl
Duality for Double Quasioperator Algebras via their Canonical Extensions.
Stud Logica
Mai Gehrke, Hilary A. Priestley
2002 — book
Introduction to Lattices and Order, Second Edition.
Brian A. Davey, Hilary A. Priestley
2002 J jnl
Optimal Natural Dualities: the Structure of Failsets.
Int. J. Algebra Comput.
Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley
2000 — conf
Ordered Sets and Complete Lattices.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Hilary A. Priestley
1996 J jnl
Optimal natural dualities for varieties of Heyting algebras.
Stud Logica
Brian A. Davey, Hilary A. Priestley
1995 J jnl
Natural dualities for varieties of
Stud Logica
Hilary A. Priestley
1995 J jnl
The Syntax and Semantics of Entailment in Duality Theory.
J. Symb. Log.
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
1994 J jnl
A Multipurpose Backtracking Algorithm.
J. Symb. Comput.
Hilary A. Priestley, Martin P. Ward
1993 J jnl
Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices.
Discret. Math.
Brian A. Davey, Hilary A. Priestley
1987 J jnl
De Morgan algebras are universal.
Discret. Math.
M. E. Adams, Hilary A. Priestley
1987 J jnl
Ordered sets with no infinite antichains.
Discret. Math.
Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley