Rachůnek, Jiří; Švrček, Filip MV-algebras with additive closure operators. (English) Zbl 1039.06005 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 39, 183-189 (2000). MSC: 06D35 06A15 06E05 PDF BibTeX XML Cite \textit{J. Rachůnek} and \textit{F. Švrček}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 39, 183--189 (2000; Zbl 1039.06005) OpenURL
Jukl, Marek Galois triangle theory for direct summands of modules. (English) Zbl 1043.51002 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 39, 67-71 (2000). MSC: 51C05 13C99 06A15 PDF BibTeX XML Cite \textit{M. Jukl}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 39, 67--71 (2000; Zbl 1043.51002) Full Text: EuDML OpenURL
Pöschel, Reinhard; Rössiger, Martin A general Galois theory for cofunctions and corelations. (English) Zbl 1011.08008 Algebra Univers. 43, No. 4, 331-345 (2000). Reviewer: Radomír Halaš (Olomouc) MSC: 08A70 06A15 68Q85 PDF BibTeX XML Cite \textit{R. Pöschel} and \textit{M. Rössiger}, Algebra Univers. 43, No. 4, 331--345 (2000; Zbl 1011.08008) Full Text: DOI OpenURL
Bělohlávek, Radim Fuzzy Galois connections and fuzzy concept lattices: From binary relations to conceptual structures. (English) Zbl 1006.06005 Novák, Vilém (ed.) et al., Discovering the world with fuzzy logic. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 57, 462-494 (2000). MSC: 06B99 68T30 06A15 68T37 PDF BibTeX XML Cite \textit{R. Bělohlávek}, Stud. Fuzziness Soft Comput. 57, 462--494 (2000; Zbl 1006.06005) OpenURL
Huchard, M.; Dicky, H.; Leblanc, H. Galois lattice as a framework to specify building class hierarchies algorithms. (English) Zbl 0976.06003 Theor. Inform. Appl. 34, No. 6, 521-548 (2000). MSC: 06A15 68N30 68N19 PDF BibTeX XML Cite \textit{M. Huchard} et al., Theor. Inform. Appl. 34, No. 6, 521--548 (2000; Zbl 0976.06003) Full Text: DOI Numdam EuDML OpenURL
Castellini, G. Connectedness classes. (English) Zbl 0973.18003 Quaest. Math. 23, No. 3, 313-334 (2000). Reviewer: Horst Herrlich (Bremen) MSC: 18D35 54D05 06A15 18A32 PDF BibTeX XML Cite \textit{G. Castellini}, Quaest. Math. 23, No. 3, 313--334 (2000; Zbl 0973.18003) Full Text: DOI OpenURL
Vorster, S. J. Roelof Interior operators in general categories. (English) Zbl 0974.18003 Quaest. Math. 23, No. 4, 405-416 (2000). Reviewer: Hans-E.Porst (Bremen) MSC: 18B35 06A15 54A05 54B30 PDF BibTeX XML Cite \textit{S. J. R. Vorster}, Quaest. Math. 23, No. 4, 405--416 (2000; Zbl 0974.18003) Full Text: DOI OpenURL
Denecke, Klaus; Hyndman, Jennifer; Wismath, Shelly L. The Galois correspondence between subvariety lattices and monoids of hypersubstitutions. (English) Zbl 0961.08006 Discuss. Math., Gen. Algebra Appl. 20, No. 1, 21-36 (2000). Reviewer: Ivan Chajda (Přerov) MSC: 08B15 08A40 08B05 20M07 06A15 PDF BibTeX XML Cite \textit{K. Denecke} et al., Discuss. Math., Gen. Algebra Appl. 20, No. 1, 21--36 (2000; Zbl 0961.08006) Full Text: DOI OpenURL
Heaton, Andrew; Hill, Patricia M.; King, Andy Abstract domains for universal and existential properties. (English) Zbl 0960.68032 Smolka, Gerd (ed.), Programming languages and systems. 9th European symposium on programming, ESOP 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1782, 150-164 (2000). MSC: 68N30 68N17 06A15 PDF BibTeX XML Cite \textit{A. Heaton} et al., Lect. Notes Comput. Sci. 1782, 150--164 (2000; Zbl 0960.68032) OpenURL
Šešelja, Branimir; Tepavčević, Andreja Posets via partial closure operators. (English) Zbl 0965.06003 Dorninger, D. (ed.) et al., Contributions to general algebra 12. Proceedings of the 58th workshop on general algebra “58. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, June 3-6, 1999. Klagenfurt: Verlag Johannes Heyn. 371-375 (2000). Reviewer: J.Rachůnek (Olomouc) MSC: 06A06 06A15 PDF BibTeX XML Cite \textit{B. Šešelja} and \textit{A. Tepavčević}, Contrib. Gen. Algebra 12, 371--375 (2000; Zbl 0965.06003) OpenURL
Coecke, Bob; Moore, David Operational Galois adjunctions. (English) Zbl 0962.18003 Coecke, Bob (ed.) et al., Current research in operational quantum logic. Algebras, categories, languages. Workshop, Free Univ. of Brussels, Belgium, June of 1998 and May of 1999. Dordrecht: Kluwer Academic Publishers. Fundam. Theor. Phys. 111, 195-218 (2000). Reviewer: Jiri Rosický (Brno) MSC: 18B35 81P10 06A15 PDF BibTeX XML Cite \textit{B. Coecke} and \textit{D. Moore}, Fundam. Theor. Phys. 111, 195--218 (2000; Zbl 0962.18003) Full Text: arXiv OpenURL
Pynko, Alexej P. Subprevarieties versus extensions. Application to the logic of paradox. (English) Zbl 0960.03056 J. Symb. Log. 65, No. 2, 756-766 (2000). MSC: 03G99 03B53 03B22 06D30 03B05 03B47 03B50 06A15 PDF BibTeX XML Cite \textit{A. P. Pynko}, J. Symb. Log. 65, No. 2, 756--766 (2000; Zbl 0960.03056) Full Text: DOI OpenURL
Chicourrat, Monique RE-proximities as fixed points of an operator on pseudo proximities. (English) Zbl 0977.54023 Topology Appl. 104, No. 1-3, 39-51 (2000). Reviewer: Somashekhar Amr Naimpally (Toronto) MSC: 54E05 54D35 54A05 06A15 PDF BibTeX XML Cite \textit{M. Chicourrat}, Topology Appl. 104, No. 1--3, 39--51 (2000; Zbl 0977.54023) Full Text: DOI OpenURL
Aguiar, Marcelo; Ferrer Santos, Walter Galois connections for incidence Hopf algebras of partially ordered sets. (English) Zbl 0945.06002 Adv. Math. 151, No. 1, 71-100 (2000). Reviewer: Joseph Neggers (Tuscaloosa) MSC: 06A15 06A11 16S99 PDF BibTeX XML Cite \textit{M. Aguiar} and \textit{W. Ferrer Santos}, Adv. Math. 151, No. 1, 71--100 (2000; Zbl 0945.06002) Full Text: DOI Link OpenURL
Müger, Michael Galois theory for braided tensor categories and the modular closure. (English) Zbl 0945.18006 Adv. Math. 150, No. 2, 151-201 (2000). Reviewer: R.H.Street (North Ryde) MSC: 18D10 06A15 12F10 PDF BibTeX XML Cite \textit{M. Müger}, Adv. Math. 150, No. 2, 151--201 (2000; Zbl 0945.18006) Full Text: DOI arXiv Link OpenURL
Ganter, Bernhard Concepts and implications. (Begriffe und Implikationen.) (German) Zbl 0963.68198 Stumme, G. (ed.) et al., Begriffliche Wissensverarbeitung. Methoden und Anwendungen. Berlin: Springer. 1-24 (2000). Reviewer: Gerd Stumme (Karlsruhe) MSC: 68T30 68P20 06A15 PDF BibTeX XML Cite \textit{B. Ganter}, in: Begriffliche Wissensverarbeitung. Methoden und Anwendungen. Berlin: Springer. 1--24 (2000; Zbl 0963.68198) OpenURL