Free modal lattices via priestley duality

被引：0
|
作者：
Wegener C.B. [1 ]
机构：
[1] Mathematical Institute, University of Oxford, Oxford OX1 3LB
来源：
Studia Logica | 2002年 / 70卷 / 3期
关键词：
(Free) modal lattice; Opposite Priestley relation; Priestley duality;
D O I：
10.1023/A:1015198213595
中图分类号：
学科分类号：
摘要：
A Priestley duality is developed for the variety Jω of all modal lattices. This is achieved by restricting to Jω a known Priestley duality for the variety of all bounded distributive lattices with a meet-homomorphism. The variety Jω was first studied by R. Beazer in 1986. The dual spaces of free modal lattices are constructed, paralleling P.R. Halmos' construction of the dual spaces of free monadic Boolean algebras and its generalization, by R. Cignoli, to distributive lattices with a quantifier. © 2002 Kluwer Academic Publishers.
引用
收藏
页码：339 / 352
页数：13
相关论文
共 50 条
  • [1] Priestley Duality for Strong Proximity Lattices
    El-Zawawy, Mohamed A.
    Jung, Achim
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 158 : 199 - 217
  • [2] REMARKS ON PRIESTLEY DUALITY FOR DISTRIBUTIVE LATTICES
    CIGNOLI, R
    LAFALCE, S
    PETROVICH, A
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1991, 8 (03): : 299 - 315
  • [3] Priestley duality for N4-lattices
    Jansana, Ramon
    Rivieccio, Umberto
    PROCEEDINGS OF THE 8TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-13), 2013, 32 : 223 - 229
  • [4] Priestley duality for demi-p-lattices
    Gaitan, H
    ALGEBRA UNIVERSALIS, 1997, 37 (03) : 277 - 295
  • [5] Priestley duality for demi-p-lattices
    H. Gaitán
    algebra universalis, 1997, 37 : 277 - 295
  • [6] Fine hierarchies via Priestley duality
    Selivanov, Victor
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (08) : 1075 - 1107
  • [7] Priestley duality for order-preserving maps into distributive lattices
    Farley, JD
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1996, 13 (01): : 65 - 98
  • [8] Discrete duality for lattices with modal operators
    Hartonas, Chrysafis
    JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (01) : 71 - 89
  • [9] Relational Lattices via Duality
    Santocanale, Luigi
    COALGEBRAIC METHODS IN COMPUTER SCIENCE, 2016, 9608 : 195 - 215
  • [10] Localic Priestley duality
    Townsend, C
    JOURNAL OF PURE AND APPLIED ALGEBRA, 1997, 116 (1-3) : 323 - 335
12345