Brian A. Davey

Orcid: 0000-0002-1200-1989

Affiliations:
  • La Trobe University, Melbourne, VIC, Australia


According to our database1, Brian A. Davey authored at least 19 papers between 1993 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Splittings in varieties of logic.
Int. J. Algebra Comput., 2021

2018
The Homomorphism Lattice Induced by a Finite Algebra.
Order, 2018

New-from-old full dualities via axiomatisation.
Ann. Pure Appl. Log., 2018

2017
Restricted Priestley Dualities and Discriminator Varieties.
Stud Logica, 2017

Bohr Compactifications of Algebras and Structures.
Appl. Categorical Struct., 2017

2012
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.
Stud Logica, 2012

The Lattice of Alter egos.
Int. J. Algebra Comput., 2012

Natural Dualities in Partnership.
Appl. Categorical Struct., 2012

2010
Counting the Relations Compatible with an Algebra.
Int. J. Algebra Comput., 2010

2007
Boolean Topological Distributive Lattices and Canonical Extensions.
Appl. Categorical Struct., 2007

2004
Applications of Priestley duality in transferring optimal dualities.
Stud Logica, 2004

Formal Concept Analysis: Its Role in Teaching Lattice Theory.
Proceedings of the Concept Lattices, 2004

2003
A Coalgebraic View of Heyting Duality.
Stud Logica, 2003

The Complexity of Dualisability: Three-Element Unary Algebras.
Int. J. Algebra Comput., 2003

2002
Introduction to Lattices and Order, Second Edition.
Cambridge University Press, ISBN: 978-0-511-80908-8, 2002

2000
Dualizability and graph algebras.
Discret. Math., 2000

1996
Optimal natural dualities for varieties of Heyting algebras.
Stud Logica, 1996

1995
The Syntax and Semantics of Entailment in Duality Theory.
J. Symb. Log., 1995

1993
Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices.
Discret. Math., 1993


  Loading...