Skip to main content Accessibility help

The syntax and semantics of entailment in duality theory

  • B. A. Davey (a1), M. Haviar (a2) and H. A. Priestley (a3)

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formula and a new derivation of the corresponding result in clone theory, viz. the syntactic description of Inv(Pol(R)) for a given set R of unitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in the form of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra M generates a congruence-distributive variety and all subalgebras of M are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions.

Hide All
[1]Bodnarčuk, V. al., Galois theory for Post algebras, I, II, Kibernetika (Kiev), 1969, no. 3, pp. 110; no. 5, pp. 1–9; English translation in Cybernetics, vol. 5 (1969).
[2]Clark, D. M. and Davey, B. A., The quest for strong dualities, Journal of the Austrailian Mathematical Society (to appear).
[3]Clark, D. M. and Davey, B. A., When is a natural duality ‘good’?, Algebra Universalis (to appear).
[4]Clark, D. M. and Davey, B. A., Natural dualities for the working algebraist, Cambridge University Press (in preparation).
[5]Davey, B.A., Duality theory on ten dollars a day, Algebras and orders (Rosenberg, I. G. and Sabidussi, G., editors), NATO Advanced Study Institute Series, Series C, vol. 389, Kluwer, Dordrecht, 1993, pp. 71111.
[6]Davey, B. A., Dualisability in general and endodualisability in particular, Proceedings of the International Conference on Logic and Algebra (Siena, April 1994) (to appear).
[7]Davey, B. A., Haviar, M., and Priestley, H. A., Endoprimal distributive lattices are endodualisable, Algebra Universalis (to appear).
[8]Davey, B. A. and Priestley, H. A., Optimal natural dualities, Transactions of the American Mathematical Society, vol. 338 (1993), pp. 655677.
[9]Davey, B. A. and Priestley, H. A., Natural dualities. II: general theory, Translations of the American Mathematical Society (to appear).
[10]Davey, B. A. and Werner, H., Dualities and equivalences for varieties of algebras, Contributions to lattice theory (Szeged, 1980), (Huhn, A.P. and Schmidt, E.T., eds) Colloqeria Mathematica Societalis János Bolyai, vol. 33, North–Holland, Amsterdam, 1983, pp. 101275.
[11]Jónsson, B., Algebras whose congruence lattices are distributive, Mathematica Scandinavica, vol. 21 (1967), pp. 110121.
[12]Pixley, A. F., Semi-categorical algebras. II, Mathematische Zeitschrift, vol. 85 (1964), pp. 169184.
[13]Pöschel, R. and Kalužnin, L. A., Relationenalgebren, VEB Deutscher Verlag der Wissenschaften, Berlin, 1979.
[14]Zadori, L., Natural duality via a finite set of relations, Bulletin of the Australian Mathematical Society (to appear).
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed