메뉴 건너뛰기




Volumn 37, Issue 3, 1997, Pages 391-401

Stone duality for lattices

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0031445815     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s000120050024     Document Type: Article
Times cited : (63)

References (14)
  • 3
    • 0010754796 scopus 로고
    • reprinted 1979, Amer. Math. Soc. Colloquium Publications XXV
    • BIRKHOFF, G., Lattice Theory, reprinted 1979, Amer. Math. Soc. Colloquium Publications XXV, 1940.
    • (1940) Lattice Theory
    • Birkhoff, G.1
  • 4
    • 67649442312 scopus 로고
    • Gaggle theory: An abstraction of galois connections and residuation with applications to negation and various logical operators
    • Logics in AI, Proceedings European Workshop JELIA 1990, 478, Springer Verlag
    • DUNN, J. M., Gaggle theory: an abstraction of galois connections and residuation with applications to negation and various logical operators, Logics in AI, Proceedings European Workshop JELIA 1990, LNCS 478, Springer Verlag, 1991.
    • (1991) LNCS , vol.478
    • Dunn, J.M.1
  • 5
    • 84867789451 scopus 로고
    • The stone space of an ortholattice
    • GOLDBLATT, R. I., The stone space of an ortholattice, Bull. London Math. Soc. 7 (1975), 45-48.
    • (1975) Bull. London Math. Soc. , vol.7 , pp. 45-48
    • Goldblatt, R.I.1
  • 6
    • 0010721462 scopus 로고    scopus 로고
    • Order-duality, negation and lattice representation
    • ed. H. Wansing, De Gruyter, Berlin
    • HARTONAS, C., Order-duality, negation and lattice representation, in Negation: Notion in Focus, ed. H. Wansing, De Gruyter, Berlin, 1996, 27-36.
    • (1996) Negation: Notion in Focus , pp. 27-36
    • Hartonas, C.1
  • 7
    • 0001268350 scopus 로고    scopus 로고
    • Duality for lattice-ordered algebras and for normal algebraizable logics
    • HARTONAS, C., Duality for lattice-ordered algebras and for normal algebraizable logics. To appear in Studia Logica (1997).
    • (1997) Studia Logica
    • Hartonas, C.1
  • 8
    • 0000296370 scopus 로고
    • A topological representation for lattices
    • HARTUNG, G., A topological representation for lattices, Algebra univers. 17 (1992), 273-299.
    • (1992) Algebra Univers , vol.17 , pp. 273-299
    • Hartung, G.1
  • 10
    • 84957460274 scopus 로고
    • Representation of distributive lattices by means of ordered stone spaces
    • PRIESTLEY, H. A., Representation of distributive lattices by means of ordered stone spaces, Bull. Lond. Math. Soc. 2 (1970), 186-190.
    • (1970) Bull. Lond. Math. Soc. , vol.2 , pp. 186-190
    • Priestley, H.A.1
  • 11
    • 0010715527 scopus 로고
    • The representation of boolean algebras
    • STONE, M. H., The representation of boolean algebras, Bull. Amer. Math. Soc. 44 (1938), 807-816.
    • (1938) Bull. Amer. Math. Soc. , vol.44 , pp. 807-816
    • Stone, M.H.1
  • 12
    • 0001886207 scopus 로고
    • Topological representation of distributive lattices and Brouwerian logics
    • STONE, M. H., Topological representation of distributive lattices and Brouwerian logics, Casopsis pro Pestovani Matematiky a Fysiky 67 (1937), 1-25.
    • (1937) Casopsis pro Pestovani Matematiky a Fysiky , vol.67 , pp. 1-25
    • Stone, M.H.1
  • 13
    • 51249181509 scopus 로고
    • A topological representation theorem for lattices
    • URQUHART, A., A topological representation theorem for lattices, Algebra univers. 8 (1979), 45-58.
    • (1979) Algebra Univers. , vol.8 , pp. 45-58
    • Urquhart, A.1
  • 14
    • 0000199926 scopus 로고
    • Bedeutungen von begriffsverbänden
    • ed. by B. Ganter, R. Wille and K. E. Wolff, B. I. Wissenschaftsverlag, Mannheim, Wein, Zürich
    • WILLE, R., Bedeutungen von Begriffsverbänden, in Beiträge zur Begriffsanalyse, ed. by B. Ganter, R. Wille and K. E. Wolff, B. I. Wissenschaftsverlag, Mannheim, Wein, Zürich, 1987, 161-211.
    • (1987) Beiträge zur Begriffsanalyse , pp. 161-211
    • Wille, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.