메뉴 건너뛰기




Volumn 94, Issue 1, 2004, Pages 13-45

Bounded distributive lattice expansions

Author keywords

[No Author keywords available]

Indexed keywords


EID: 1942539778     PISSN: 00255521     EISSN: None     Source Type: Journal    
DOI: 10.7146/math.scand.a-14428     Document Type: Article
Times cited : (115)

References (23)
  • 2
    • 0842337930 scopus 로고
    • Coherent frames
    • Proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices (Workshop IV, 1979). Edited by B. Banaschewski and R. E. Hoffmann
    • Banaschewski, B., Coherent frames, in Proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices (Workshop IV, 1979). Edited by B. Banaschewski and R. E. Hoffmann. Lecture Notes in Math. 871 (1981), 1-11.
    • (1981) Lecture Notes in Math. , vol.871 , pp. 1-11
    • Banaschewski, B.1
  • 5
    • 0003798198 scopus 로고
    • Polish Scientific Publishers, Warsaw
    • Engelking, R., General Topology, Polish Scientific Publishers, Warsaw, 1977.
    • (1977) General Topology
    • Engelking, R.1
  • 7
    • 0035315080 scopus 로고    scopus 로고
    • Bounded Lattice Expansions
    • Gehrke, M., and Harding, J., Bounded Lattice Expansions, J. Algebra 238 (2001), 345-371.
    • (2001) J. Algebra , vol.238 , pp. 345-371
    • Gehrke, M.1    Harding, J.2
  • 8
    • 0007129043 scopus 로고
    • Bounded distributive lattices with operators
    • Gehrke, M., and Jónsson, B., Bounded distributive lattices with operators, Math. Japon. 40 (1994), 207-215.
    • (1994) Math. Japon. , vol.40 , pp. 207-215
    • Gehrke, M.1    Jónsson, B.2
  • 9
    • 0007091435 scopus 로고    scopus 로고
    • Monotone bounded distributive lattice expansions
    • Gehrke, M., and Jónsson, B., Monotone bounded distributive lattice expansions, Math. Japon. 52 (2000), 197-213.
    • (2000) Math. Japon. , vol.52 , pp. 197-213
    • Gehrke, M.1    Jónsson, B.2
  • 10
    • 0037991334 scopus 로고    scopus 로고
    • Non-canonicity of MV-algebras
    • Gehrke, M., and Priestley, H. A., Non-canonicity of MV-algebras, Houston J. Math. 28 (2002), 449-455.
    • (2002) Houston J. Math. , vol.28 , pp. 449-455
    • Gehrke, M.1    Priestley, H.A.2
  • 12
    • 0000205398 scopus 로고
    • Varieties of complex algebras
    • Goldblatt, R., Varieties of complex algebras, Ann. Pure Appl. Logic 44 (1989), 173-242.
    • (1989) Ann. Pure Appl. Logic , vol.44 , pp. 173-242
    • Goldblatt, R.1
  • 13
    • 0001169610 scopus 로고
    • On the canonicity of Sahlqvist identities
    • Jónsson, B., On the canonicity of Sahlqvist identities, Studia Logica 53 (1994), 473-491.
    • (1994) Studia Logica , vol.53 , pp. 473-491
    • Jónsson, B.1
  • 14
    • 0002835207 scopus 로고
    • Congruence distributive varieties
    • Jónsson, B., Congruence distributive varieties, Math. Japon. 42 (1995), 353-401.
    • (1995) Math. Japon. , vol.42 , pp. 353-401
    • Jónsson, B.1
  • 15
    • 0001521953 scopus 로고
    • Boolean algebras with operators, I
    • Jónsson, B., and Tarski, A., Boolean algebras with operators, I, Amer. J. Math. 73 (1951), 891-939.
    • (1951) Amer. J. Math. , vol.73 , pp. 891-939
    • Jónsson, B.1    Tarski, A.2
  • 16
    • 0001318162 scopus 로고
    • Boolean algebras with operators, II
    • Jónsson, B., and Tarski, A., Boolean algebras with operators, II, Amer. J. Math. 74 (1952), 127-162.
    • (1952) Amer. J. Math. , vol.74 , pp. 127-162
    • Jónsson, B.1    Tarski, A.2
  • 17
    • 51249186531 scopus 로고
    • Equations not preserved by complete extensions
    • Kramer, R., and Maddux, R., Equations not preserved by complete extensions, Algebra Universalis 15 (1982), 86-89.
    • (1982) Algebra Universalis , vol.15 , pp. 86-89
    • Kramer, R.1    Maddux, R.2
  • 18
    • 84957460274 scopus 로고
    • Representations of distributive lattices by means of ordered topological spaces
    • Priestley, H. A., Representations of distributive lattices by means of ordered topological spaces, Bull. London Math. Soc. 2 (1970), 186-190.
    • (1970) Bull. London Math. Soc. , vol.2 , pp. 186-190
    • Priestley, H.A.1
  • 19
    • 0028586734 scopus 로고
    • Intrinsic spectral topologies
    • Flushing, NY, Ann. New York Acad. Sci. 728
    • Priestley, H. A., Intrinsic spectral topologies, Papers on General Topology and Applications (Flushing, NY, 1992), 78-95, Ann. New York Acad. Sci. 728 (1994).
    • (1992) Papers on General Topology and Applications , pp. 78-95
    • Priestley, H.A.1
  • 20
    • 0038969198 scopus 로고    scopus 로고
    • Varieties of distributive lattices with unary operations, I
    • Priestley, H. A., Varieties of distributive lattices with unary operations, I, J. Austral. Math. Soc. 63 (1997), 165-207.
    • (1997) J. Austral. Math. Soc. , vol.63 , pp. 165-207
    • Priestley, H.A.1
  • 21
    • 1942480506 scopus 로고    scopus 로고
    • A remark on Boolean algebras with operators
    • Ribeiro, H., A remark on Boolean algebras with operators. Amer. J. Math. 74, 163-167.
    • Amer. J. Math. , vol.74 , pp. 163-167
    • Ribeiro, H.1
  • 22
    • 52849099041 scopus 로고    scopus 로고
    • Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics, I, II
    • Sofronie-Stokkermans, V., Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics, I, II, Studia Logica 64 (1999), 93-132 and 151-172.
    • (1999) Studia Logica , vol.64 , pp. 93-132
    • Sofronie-Stokkermans, V.1
  • 23
    • 0001886207 scopus 로고
    • Topological representations of distributive lattices and Browerian logics
    • Stone, M. H., Topological representations of distributive lattices and Browerian logics, Casopis pest. Mat. 67 (1937), 1-25.
    • (1937) Casopis Pest. Mat. , vol.67 , pp. 1-25
    • Stone, M.H.1


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