Journal of Symbolic Logic

The Syntax and Semantics of Entailment in Duality Theory

B. A. Davey, M. Haviar, and H. A. Priestley

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

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 formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set $R$ of finitary 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 $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{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.

Article information

Source
J. Symbolic Logic, Volume 60, Issue 4 (1995), 1087-1114.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744864

Mathematical Reviews number (MathSciNet)
MR1367197

Zentralblatt MATH identifier
0845.08006

JSTOR
links.jstor.org

Subjects
Primary: 08B99: None of the above, but in this section
Secondary: 03C99: None of the above, but in this section 18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

Keywords
Natural duality clone entailment syntax semantics

Citation

Davey, B. A.; Haviar, M.; Priestley, H. A. The Syntax and Semantics of Entailment in Duality Theory. J. Symbolic Logic 60 (1995), no. 4, 1087--1114. https://projecteuclid.org/euclid.jsl/1183744864


Export citation