Applications of Priestley duality in transferring optimal dualities

被引：3

作者：

Davey B.A. ^{[1
]}

Haviar M. ^{[1
,2
,3
]}

机构：

[1] Mathematics, La Trobe University

[2] Department of Mathematics, La Trobe University

[3] Department of Mathematics, PDF, M. Bel University

来源：

Studia Logica | 2004年 / 78卷 / 1-2期

关键词：

Endodualisability; Endoprimality; Entailment; Natural duality; Optimal duality; Priestley duality; Retraction;

D O I：

10.1007/s11225-005-3236-0

中图分类号：

学科分类号：

摘要：

This paper illustrates how Priestley duality can be used in the transfer of an optimal natural duality from a minimal generating algebra for a quasi-variety to other generating algebras. Detailed calculations are given for the quasi-variety double-struck I signdouble-struck S signℙ(4) of Kleene algebras and the quasi-varieties ℬn of pseudocomplemented distributive lattices (n ≥ 1). © 2004 Kluwer Academic Publishers.

引用

页码：213 / 236

页数：23

共 28 条

[21] Priestley Duality for Paraconsistent Nelson’s Logic
Sergei P. Odintsov
Studia Logica, 2010, 96 : 65 - 93
[22] 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
[23] Optimal natural dualities .2. General theory
Davey, BA
Priestley, HA
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1996, 348 (09) : 3673 - 3711
[24] 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
[25] Godel algebras: interactive dualities and their applications
Cabrer, L. M.
Priestley, H. A.
ALGEBRA UNIVERSALIS, 2015, 74 (1-2) : 87 - 116
[26] Gödel algebras: interactive dualities and their applications
L. M. Cabrer
H. A. Priestley
Algebra universalis, 2015, 74 : 87 - 116
[27] Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II
Sofronie-Stokkermans V.
Studia Logica, 2000, 64 (2) : 151 - 172
[28] Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics i
Sofronie-Stokkermans V.
Studia Logica, 2000, 64 (1) : 93 - 132

← 1 2 3 →