Hilary A. Priestley

Publication Activity (10 Years)

Years Active: 1987-2021
Publications (10 Years): 5

Top Topics

Distributed Representations

Spatial Reasoning

Top Venues

Appl. Categorical Struct.

Publications

Hilary A. Priestley
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 109 (5) (2021)
Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley
Checking Admissibility Using Natural Dualities. ACM Trans. Comput. Log. 20 (1) (2019)
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
Bohr Compactifications of Algebras and Structures. Appl. Categorical Struct. 25 (3) (2017)
Leonardo Manuel Cabrer, Hilary A. Priestley
Natural Dualities Through Product Representations: Bilattices and Beyond. Stud Logica 104 (3) (2016)
Leonardo Manuel Cabrer, Hilary A. Priestley
A general framework for product representations: bilattices and beyond. Log. J. IGPL 23 (5) (2015)
Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley
Canonical Extensions and Profinite Completions of Semilattices and Lattices. Order 31 (2) (2014)
Leonardo Manuel Cabrer, A. P. K. Craig, Hilary A. Priestley
Product representation for default bilattices: an application of natural duality theory. CoRR (2013)
A. P. K. Craig, Miroslav Haviar, Hilary A. Priestley
A Fresh Perspective on Canonical Extensions for Bounded Lattices. Appl. Categorical Struct. 21 (6) (2013)
Leonardo Manuel Cabrer, Hilary A. Priestley
Coproducts of Distributive Lattice based Algebras. TACL (2013)
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
Natural Dualities in Partnership. Appl. Categorical Struct. 20 (6) (2012)
Brian A. Davey, Hilary A. Priestley
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras. Stud Logica 100 (1-2) (2012)
Mai Gehrke, Hilary A. Priestley
Canonical extensions and completions of posets and lattices. Reports Math. Log. 43 (2008)
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
Boolean Topological Distributive Lattices and Canonical Extensions. Appl. Categorical Struct. 15 (3) (2007)
Mai Gehrke, Hilary A. Priestley
Duality for Double Quasioperator Algebras via their Canonical Extensions. Stud Logica 86 (1) (2007)
Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley
Optimal Natural Dualities: the Structure of Failsets. Int. J. Algebra Comput. 12 (3) (2002)
Hilary A. Priestley
Ordered Sets and Complete Lattices. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Brian A. Davey, Hilary A. Priestley
Optimal natural dualities for varieties of Heyting algebras. Stud Logica 56 (1/2) (1996)
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
The Syntax and Semantics of Entailment in Duality Theory. J. Symb. Log. 60 (4) (1995)
Hilary A. Priestley
-valued Lukasiewicz algebras. Stud Logica 54 (3) (1995)
Hilary A. Priestley, Martin P. Ward
A Multipurpose Backtracking Algorithm. J. Symb. Comput. 18 (1) (1994)
Brian A. Davey, Hilary A. Priestley
Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices. Discret. Math. 113 (1-3) (1993)
Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley
Ordered sets with no infinite antichains. Discret. Math. 63 (2-3) (1987)
M. E. Adams, Hilary A. Priestley
De Morgan algebras are universal. Discret. Math. 66 (1-2) (1987)