Geodesic
Generalizations of Boolean algebras. An attribute exploration
Mathematica slovaca, Tome 56 (2006) no. 2, pp. 145-165
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03G05, 03G10, 03G25, 06B23, 06C15, 06D15, 06D30, 06E05, 68T30 
@article{MASLO_2006_56_2_a1,
     author = {Kwuida, L\'eonard and Pech, Christian and Reppe, Heiko},
     title = {Generalizations of {Boolean} algebras. {An} attribute exploration},
     journal = {Mathematica slovaca},
     pages = {145--165},
     year = {2006},
     volume = {56},
     number = {2},
     mrnumber = {2229338},
     zbl = {1150.03342},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MASLO_2006_56_2_a1/}
}
TY  - JOUR
AU  - Kwuida, Léonard
AU  - Pech, Christian
AU  - Reppe, Heiko
TI  - Generalizations of Boolean algebras. An attribute exploration
JO  - Mathematica slovaca
PY  - 2006
SP  - 145
EP  - 165
VL  - 56
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/MASLO_2006_56_2_a1/
LA  - en
ID  - MASLO_2006_56_2_a1
ER  - 
%0 Journal Article
%A Kwuida, Léonard
%A Pech, Christian
%A Reppe, Heiko
%T Generalizations of Boolean algebras. An attribute exploration
%J Mathematica slovaca
%D 2006
%P 145-165
%V 56
%N 2
%U http://geodesic.mathdoc.fr/item/MASLO_2006_56_2_a1/
%G en
%F MASLO_2006_56_2_a1
Kwuida, Léonard; Pech, Christian; Reppe, Heiko. Generalizations of Boolean algebras. An attribute exploration. Mathematica slovaca, Tome 56 (2006) no. 2, pp. 145-165. http://geodesic.mathdoc.fr/item/MASLO_2006_56_2_a1/

[Be84] BERAN L.: Orthomodular Lattices. Algebraic Approach, Academia, Prague, 1984. | MR

[Bo54] BOOLE G.: An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. Macmillan/Dover PubL, London/New York, 1854/1958. | MR

[Bu03] BURMEISTER P.: Formal Concept Analysis with ConImp: Introduction to the Basic Features. TU-Darmstadt, Darmstadt, 2003; http://www.mathematik.tu-darmstadt.de/~burmeister/ConImpIntro.pdf

[BV94] BLYTH T. T.-VARLET J. J.: Ockham Algebras. Oxford Univ. Press, Oxford, 1994. | MR | Zbl

[CG00] CHAJDA I.-GŁAZEK K.: A Basic Course on General Algebra. Zielona Góra Technical University Press, 2000. | MR | Zbl

[CG69] CHEN C. C.-GRÄTZER G.: Stone lattices. I: Construction theorems. Canad. J. Math. 21 (1969), 884-894. | MR | Zbl

[Da00] DAU F.: Implications of properties concerning complementation in finite lattices. In: Contributions to General Algebra 12 (D. Dorninger et al., eds.), Proceedings of the 58th workshop on general algebra "58. Arbeitstagung Allgemeine Algebra", Vienna, Austria, June 3-6, 1999, Verlag Johannes Heyn, Klagenfurt, 2000, pp. 145-154. | MR

[Di45] DILWORTH R. R.: Lattices with unique complements. Trans. Amer. Math. Soc. 57 (1945), 123-154. | MR | Zbl

[Du97] DÜNTSCH, L: A logic for rough sets. Theoret. Comput. Sci. 179 (1997), 427-436. | MR

[Dz90] DZIK W.: Lattices adequate for intuitionistic predicate logic. In: Mathematical Logic. Proceedings of the Summer School and Conference Dedicated to the Ninetieth Anniversary of Arend Heyting (1898-1980), Held in Chaika, Bulgaria, September 13-23, 1988, Plenum Press, New York, 1990, pp. 293-297. | MR

[Fr62] FRINK O.: Pseudo-complements in semi-lattices. Duke Math. J. 29 (1962), 505-514. | MR | Zbl

[Hi02] HINTIKKA J.: Quantum logic as a fragment of independence-friendly logic. J. Philos. Logic 31 (2002), 197-209. | MR | Zbl

[GK02] GANTER B.-KWUIDA L.: Representable Weak Dicomplementations on Finite Lattices. Contributions to General Algebra 14, Verlag Johannes Heyn, Klagenfurt, 2004. | MR | Zbl

[GW99] GANTER B.-WILLE R.: Formal Concept Analysis. Mathematical Foundations, Springer, Berlin, 1999. | MR | Zbl

[Gl29] GLIVENKO V.: Sur quelques points de la logique de M. Brouwer. Bulletin Acad. Bruxelles 15 (1929), 183-188.

[KAL83] KALMBACH G.: Othomodular Lattices. London Math. Soc. Monogr. 18, Academic Press Inc. (London) Ltd., London, 1983.

[Ka72] KATRIŇÁK T.: Über eine Konstruktion der distributiven pseudokomplementätren Verbände. Math. Nachr. 53 (1972). | MR

[Ka73] KATRIŇÁK T.: The structure of distributive double p-algebras. Regularity and congruences, Algebra Universalis 3 (1992), 238-246. | MR

[KM83] KATRIŇÁK T.-MEDERLY P.: Constructions of p-algebras. Algebra Universalis 17 (1983), 288-316. | MR | Zbl

[Kw04] KWUIDA L.: Dicomplemented Lattices. A Contextual Generalization of Boolean Algebras, Shaker Verlag, Aachen, 2004. | Zbl

[La71] LAKSER H.: The structure of pseudocomplemented distributive lattices. I: Subdirect decomposition, Trans. Amer. Math. Soc. 156 (1971), 335-342. | MR | Zbl

[Sa88] SALIІ V. V.: Lattices with Unique Complements. Transl. Math. Monogr. 69, Amer. Math. Soc, Providence, RI, 1988. | MR

[StЗб] STONE M. H.: The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 40 (1936), 37-111. | MR | Zbl

[Ur79] URQUHART A.: Lattices with a dual homomorphic operation. Studia Logica 38 (1979), 201-209. | MR | Zbl

[WІ82] WILLE R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Ordered Sets (I. Rival, ed.), D. Reidel Publishing Company, Dordrecht-Boston-London, 1982, pp. 445-470. | MR | Zbl

[WiOO] WILLE R.: Boolean concept logic. In: Conceptual Structures: Logical, Linguistic, and Computational Issues. 8th International Conference, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings (B. Ganter, G. W. Mineau, eds.), Lecture Notes in Artificial Intelligence 1867, Springer, Heidelberg, 2000, pp. 317-331. | Zbl