#### Filter Results:

- Full text PDF available (20)

#### Publication Year

1946

2017

- This year (1)
- Last 5 years (9)
- Last 10 years (14)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- H A Priestley
- 1970

1. Introduction Stone, in [8], developed for distributive lattices a representation theory generalizing that for Boolean algebras. This he achieved by topologizing the set X of prime ideals of a distributive lattice A (with a zero element) by taking as a base {P a : aeA} (where P a denotes the set of prime ideals of A not containing a), and by showing that… (More)

The variety MV of all MV-algebras is shown to be non-canonical in a strong sense. Specifically it is shown that the canonical extension of the Chang algebra, K 2 , is not an MV-algebra. As a consequence, no non-finitely generated variety of MV-algebras is canonical.

- Hilary A. Priestley, Martin P. Ward
- J. Symb. Comput.
- 1994

A backtracking algorithm with element order selection is presented, and its eeciency discussed in relation both to standard examples and to examples concerning relation-preserving maps which the algorithm was derived to solve.

- Mai Gehrke, Hilary A. Priestley
- Reports on Mathematical Logic
- 2008

A b s t r a c t. The purpose of this note is to expose a new way of viewing the canonical extension of posets and bounded lattices. Specifically, we seek to expose categorical features of this completion and to reveal its relationship to other completion processes. The theory of canonical extensions is introduced by Jónsson and Tarski [15, 16] for Boolean… (More)

- M. Gehrkea, H. A. Priestley
- 2006

The context for this paper is a class of distributive lattice expansions, called double quasioperator algebras (DQAs). The distinctive feature of these algebras is that their operations preserve or reverse both join and meet in each coordinate. Algebras of this type provide algebraic semantics for certain non-classical propositional logics. In particular,… (More)

- Mai Gehrke, Hilary A. Priestley
- Studia Logica
- 2007

- Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
- Applied Categorical Structures
- 2007

This paper presents a unified account of a number of dual category equivalences of relevance to the theory of canonical extensions of distributive lattices. Each of the categories involved is generated by an object having a 2-element underlying set; additional structure may be algebraic (lattice or complete lattice operations) or relational (order) and, in… (More)

- Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
- J. Symb. Log.
- 1995