The class of Kleene algebras satisfying an interpolation property and Nelson algebras
暂无分享,去创建一个
[1] The lattice structure of some Lukasiewicz algebras , 1981 .
[2] J. A. Kalman,et al. Lattices with involution , 1958 .
[3] Hilary A. Priestley,et al. Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .
[4] Hilary A. Priestley,et al. Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .
[5] William H. Cornish,et al. Coproducts of Kleene algebras , 1979 .
[6] A. Monteiro,et al. Caracterisation des algèbres de Nelson par des egalités, II , 1967 .
[7] A. Monteiro,et al. Construction des algebres de Nelson finies , 1964 .
[8] Hilary A. Priestley. Stone lattices: a topological approach , 1974 .
[9] William H. Cornish,et al. Coproducts of De Morgan algebras , 1977, Bulletin of the Australian Mathematical Society.
[10] R. Cignoli. Boolean Elements in Lukasiewicz Algebras. I , 1965 .
[11] Diana Brignole. Equational characterization of Nelson algebra , 1969, Notre Dame J. Formal Log..
[12] Alasdair Urquhart,et al. Distributive lattices with a dual homomorphic operation , 1979 .
[13] H. Priestley. THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES , 1975 .
[14] H. Rasiowa. An Algebraic Approach To Non Classical Logics , 1974 .
[15] Helena Rasiowa,et al. N-lattices and constructive logic with strong negation , 1958 .
[16] S. Maclane,et al. Categories for the Working Mathematician , 1971 .
[17] Dimiter Vakarelov,et al. Notes on N-lattices and constructive logic with strong negation , 1977 .
[18] Coproducts in the categories of Kleene and three-valued Łukasiewicz algebras , 1979 .
[19] Hilary A. Priestley,et al. Ordered Sets and Duality for Distributive Lattices , 1984 .
[20] Roberto Cignoli,et al. Dualities for some De Morgan algebras with operators and Lukasiewicz algebras , 1983 .