Navegar

Colección

Datos Estadísticas

Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

A Q-distributive lattice is an algebra 〈L, ∧, ∨, ∇, 0, 1〉 of type (2, 2, 1, 0, 0) such that 〈L, ∧, ∨, 0, 1〉 is a bounded distributive lattice and ∇ satisfies the equations: (1) ∇0 = 0, (2) x ∧ ∇x = x, (3) ∇(x ∧ ∇y) = ∇x ∧ ∇y and (4) ∇(x ∨ y) = ∇x ∨ ∇y. The opposite of the category of Q-distributive lattices is described in terms of Priestly spaces endowed with an equivalence relation. The simple and the sub-directly irreducible Q-distributive lattices are determined and it is shown that the lattices of equational classes of Q-distributive lattices is a chain of type ω + 1. © 1991.

Registro:

Documento: Artículo
Título:Quantifiers on distributive lattices
Autor:Cignoli, R.
Filiación:Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Universitaria, 1428 Buenos Aires, Argentina
Año:1991
Volumen:96
Número:3
Página de inicio:183
Página de fin:197
DOI: http://dx.doi.org/10.1016/0012-365X(91)90312-P
Título revista:Discrete Mathematics
Título revista abreviado:Discrete Math
ISSN:0012365X
CODEN:DSMHA
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_0012365X_v96_n3_p183_Cignoli

Referencias:

  • Balbes, Dwinger, (1974) Distributive Lattices, , University of Missouri Press, Columbia, MO
  • Berman, (1974) Notes on equational classes of algebras, , University of Illinois, Chicago, Mimeographed
  • Burris, Sankappanavar, A course in Universal Algebra (1981) Graduate Texts in Mathematics, 78. , Springer, Berlin
  • Cignoli, Boolean Multiplicative closures I & II (1966) Proceedings of the Japan Academy, 42, pp. 1168-1174
  • Halmos, Algebraic Logic, I. Monadic Boolean algebras (1955) Compositio Math., 12, pp. 217-249. , reproduced in
  • Halmos, Algebraic Logic, I. Monadic Boolean algebras (1955) Compositio Math., 12. , Chelsea, New York
  • Halmos, (1962) Algebraic Logic, , Chelsea, New York
  • Janowitz, Quantifiers and Orthomodular Lattices (1963) Pacific Journal of Mathematics, 13, pp. 1241-1249
  • Janowitz, Quantifier theory on quasi-orthomodular Lattices (1965) Illinois J. Math., 9, pp. 660-676
  • Jónsson, Algebras whose congruence lattices are distributive (1967) Math. Scand., 21, pp. 110-121
  • Monk, On equational classes of algebraic versions of logic, I (1970) Math. Scand., 27, pp. 53-71
  • Monteiro, Normalidad de las álgebras de Heyting monádicas (1957) Actas de las X Jornadas de la Unión Matemática Argentina, Bahia Blanca, pp. 50-51. , Notas de Lógica Matemática No. 2 1974 Instituto de Matemática, Universidad Nacional del Sur Bahía Blaca, A French translation is published as
  • Monteiro, Algebras monádicas (1960) Atas do Segundo Colóquio Brasileiro de Matemática, pp. 33-52. , Notas de Lógica Matemátika No.7 1974 Instituto de Matimática, Universidad Nacional del Sur Bahía Blanca, A French translation was a published as
  • Monteiro, Construction des algébres de Lukasiewicz trivalentes dans les algèbres de Boole monadiques I (1967) Math. Japon., 12, pp. 1-23
  • Monteiro, Varsavsky, Algebras de Heyting monádicas (1957) Actas de las X Jornadas de la Unión Matemática Argentina, Bahía Blanca, pp. 52-62. , Notas de Logica Mathemática No. 1 1974 Instituto de Matemática, Universidad Nacional del Sur Bahía Blanca, A French translation is published as
  • Monteiro, Algébres de Boole monadiques libres (1978) Algebra Universalis, 8, pp. 374-380
  • Nachbin, Une propriété caractéristique des algèbres booléines (1947) Protugal. Math., 6, pp. 115-118
  • Priestley, Representation of distributive lattices by means of ordered Stone spacs (1970) Bulletin of the London Mathematical Society, 2, pp. 186-190
  • Priestley, Ordered topological spaces and the representation of distributive lattices (1972) Proceedings of the London Mathematical Society, 4 (3), pp. 507-530
  • Priestly, Ordered sets and duality for distributive lattices (1984) Ann. Discrete Math., 23, pp. 39-60. , North-Holland, Amsterdam
  • Varsavsky, Quantifiers and equivalence relations (1956) Rev. Matem. Cuyana, 2, pp. 29-51. , Notas de Lógica Matemática No 3. Instituto de Matemática 1974 Universidad Nacional del Sur Bahía Blanca, Reproduced in
  • Vrancken-Mawet, The lattice of R-subalgebras of a bounded distributive lattice (1984) Comment. Math. Univ. Carolin., 25, pp. 1-17
  • Wallman, Lattices and topological spaces (1936) The Annals of Mathematics, 39, pp. 112-126
  • Wright, Convergence of quantifiers and martingales (1962) Illinois J. Math., 6, pp. 296-307

Citas:

---------- APA ----------
(1991) . Quantifiers on distributive lattices. Discrete Mathematics, 96(3), 183-197.
http://dx.doi.org/10.1016/0012-365X(91)90312-P
---------- CHICAGO ----------
Cignoli, R. "Quantifiers on distributive lattices" . Discrete Mathematics 96, no. 3 (1991) : 183-197.
http://dx.doi.org/10.1016/0012-365X(91)90312-P
---------- MLA ----------
Cignoli, R. "Quantifiers on distributive lattices" . Discrete Mathematics, vol. 96, no. 3, 1991, pp. 183-197.
http://dx.doi.org/10.1016/0012-365X(91)90312-P
---------- VANCOUVER ----------
Cignoli, R. Quantifiers on distributive lattices. Discrete Math. 1991;96(3):183-197.
http://dx.doi.org/10.1016/0012-365X(91)90312-P