Switch to: Citations

Add references

You must login to add references.
  1. The syntax and semantics of entailment in duality theory.B. A. Davey, M. Haviar & H. A. Priestley - 1995 - Journal of Symbolic Logic 60 (4):1087-1114.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Natural dualities for varieties ofn-valued Ĺ‚ukasiewicz algebras.H. A. Priestley - 1995 - Studia Logica 54 (3):333 - 370.
    Natural dualities are developed for varieties ofn-valued ukasiewicz algebras with and without negation. These dualities are based on hom-functors, and parallel Stone duality for Boolean algebras. A translation is described which relates the natural dualities to the corresponding restricted Priestley dualities. This enables a unified approach to free algebras to be presented, whence R. Cignoli's characterisations of the finitely generated free algebras are elucidated and new descriptions of arbitrary free algebras obtained. Finally it is shown how dualities for subvarieties encode (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.
    The techniques of natural duality theory are applied to certain finitely generated varieties of Heyting algebras to obtain optimal dualities for these varieties, and thereby to address algebraic questions about them. In particular, a complete characterisation is given of the endodualisable finite subdirectly irreducible Heyting algebras. The procedures involved rely heavily on Priestley duality for Heyting algebras.
    Download  
     
    Export citation  
     
    Bookmark   3 citations