Hilary A. Priestley

According to our database, Hilary A. Priestley authored at least 24 papers between 1987 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

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.

Hilary A. Priestley

Stud Logica, 2021

2019

Checking Admissibility Using Natural Dualities.

Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley

ACM Trans. Comput. Log., 2019

2017

Bohr Compactifications of Algebras and Structures.

Brian A. Davey, Miroslav Haviar, Hilary A. Priestley

Appl. Categorical Struct., 2017

2016

Natural Dualities Through Product Representations: Bilattices and Beyond.

Leonardo Manuel Cabrer, Hilary A. Priestley

Stud Logica, 2016

2015

A general framework for product representations: bilattices and beyond.

Leonardo Manuel Cabrer, Hilary A. Priestley

Log. J. IGPL, 2015

2014

Canonical Extensions and Profinite Completions of Semilattices and Lattices.

Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley

Order, 2014

2013

Product representation for default bilattices: an application of natural duality theory.

Leonardo Manuel Cabrer, A. P. K. Craig, Hilary A. Priestley

CoRR, 2013

A Fresh Perspective on Canonical Extensions for Bounded Lattices.

A. P. K. Craig, Miroslav Haviar, Hilary A. Priestley

Appl. Categorical Struct., 2013

Coproducts of Distributive Lattice based Algebras.

Leonardo Manuel Cabrer, Hilary A. Priestley

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.

Brian A. Davey, Hilary A. Priestley

Stud Logica, 2012

Natural Dualities in Partnership.

Brian A. Davey, Miroslav Haviar, Hilary A. Priestley

Appl. Categorical Struct., 2012

2008

Canonical extensions and completions of posets and lattices.

Mai Gehrke, Hilary A. Priestley

Reports Math. Log., 2008

2007

Duality for Double Quasioperator Algebras via their Canonical Extensions.

Mai Gehrke, Hilary A. Priestley

Stud Logica, 2007

Boolean Topological Distributive Lattices and Canonical Extensions.

Brian A. Davey, Miroslav Haviar, Hilary A. Priestley

Appl. Categorical Struct., 2007

2002

Optimal Natural Dualities: the Structure of Failsets.

Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley

Int. J. Algebra Comput., 2002

Introduction to Lattices and Order, Second Edition.

Brian A. Davey, Hilary A. Priestley

Cambridge University Press, ISBN: 978-0-511-80908-8, 2002

2000

Ordered Sets and Complete Lattices.

Hilary A. Priestley

Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000

1996

Optimal natural dualities for varieties of Heyting algebras.

Brian A. Davey, Hilary A. Priestley

Stud Logica, 1996

1995

Natural dualities for varieties of <i>n</i>-valued Lukasiewicz algebras.

Hilary A. Priestley

Stud Logica, 1995

The Syntax and Semantics of Entailment in Duality Theory.

Brian A. Davey, Miroslav Haviar, Hilary A. Priestley

J. Symb. Log., 1995

1994

A Multipurpose Backtracking Algorithm.

Hilary A. Priestley, Martin P. Ward

J. Symb. Comput., 1994

1993

Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices.

Brian A. Davey, Hilary A. Priestley

Discret. Math., 1993

1987

Ordered sets with no infinite antichains.

Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley

Discret. Math., 1987

De Morgan algebras are universal.

M. E. Adams, Hilary A. Priestley

Discret. Math., 1987