151 citations · 152 across the 6 of their papers we have counts for
9 papers
Splittings in varieties of logic
Brian A. Davey, Tomasz Kowalski, Christopher J. Taylor
We study splittings, or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the Non-Splitting Lemma, which when combined with som…
Expanding Belnap 2: the dual category in depth
Andrew Craig, Brian A. Davey, Miroslav Haviar
Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N.D. Belnap in a 1977 paper entitled 'How a computer should think'.…
Microarcsecond VLBI pulsar astrometry with PSR II. parallax distances for 57 pulsars
A. T. Deller, W. M. Goss, W. F. Brisken +8
We present the results of PSR, a large astrometric project targeting radio pulsars using the Very Long Baseline Array (VLBA). From our astrometric database of 60 pulsars, we hav…
Restricted Priestley dualities and discriminator varieties
Brian A. Davey, Asha Gair
Anyone who has ever worked with a variety~ of algebras with a reduct in the variety of bounded distributive lattices will know a restricted Priestley dual…
The homomorphism lattice induced by a finite algebra
Brian A. Davey, Charles T. Gray, Jane G. Pitkethly
Each finite algebra induces a lattice~ via the quasi-order~ on the finite members of the variety generated by~, where $\mathbf B…
New-from-old full dualities via axiomatisation
Brian A. Davey, Jane G. Pitkethly, Ross Willard
We clarify what it means for two full dualities based on the same algebra to be different. Our main theorem gives conditions on two different alter egos of a finite algebra under w…