-
2
-
-
0842337930
-
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
-
4
-
-
0003242931
-
A Course in Universal Algebra
-
Burris, S., and Sankappanavar, H. P., A Course in Universal Algebra, Graduate Texts in Math., vol. 78, 1981.
-
(1981)
Graduate Texts in Math.
, vol.78
-
-
Burris, S.1
Sankappanavar, H.P.2
-
5
-
-
0003798198
-
-
Polish Scientific Publishers, Warsaw
-
Engelking, R., General Topology, Polish Scientific Publishers, Warsaw, 1977.
-
(1977)
General Topology
-
-
Engelking, R.1
-
7
-
-
0035315080
-
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
-
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
-
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
-
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
-
11
-
-
0004011095
-
-
Springer-Verlag
-
Gierz, G., Hofmann K. H., Keimel, K., Lawson, J. D., Mislove, M., and Scott, D. S., A Compendium of Continuous Lattices, Springer-Verlag, 1980.
-
(1980)
A Compendium of Continuous Lattices
-
-
Gierz, G.1
Hofmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
12
-
-
0000205398
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|