Schmidt, David A. Extracting program logics from abstract interpretations defined by logical relations. (English) Zbl 1316.68042 Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 339-356 (2007). MSC: 68N30 03B44 03B70 06A15 PDF BibTeX XML Cite \textit{D. A. Schmidt}, Electron. Notes Theor. Comput. Sci. 173, 339--356 (2007; Zbl 1316.68042) Full Text: DOI OpenURL
Parvatov, N. G. Hereditary systems of discrete functions. (Russian) Zbl 1249.03021 Diskretn. Anal. Issled. Oper., Ser. 2 14, No. 2, 76-91 (2007). MSC: 03B50 06A15 PDF BibTeX XML Cite \textit{N. G. Parvatov}, Diskretn. Anal. Issled. Oper., Ser. 2 14, No. 2, 76--91 (2007; Zbl 1249.03021) OpenURL
Mori, Hideo Functorial properties of formal concept analysis. (English) Zbl 1213.68606 Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 505-508 (2007). MSC: 68T30 06A15 06B23 18B99 PDF BibTeX XML Cite \textit{H. Mori}, Lect. Notes Comput. Sci. 4604, 505--508 (2007; Zbl 1213.68606) Full Text: DOI OpenURL
Balcázar, José L.; Garriga, Gemma C. Characterizing implications of injective partial orders. (English) Zbl 1213.68597 Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 492-495 (2007). MSC: 68T30 03B05 06A15 PDF BibTeX XML Cite \textit{J. L. Balcázar} and \textit{G. C. Garriga}, Lect. Notes Comput. Sci. 4604, 492--495 (2007; Zbl 1213.68597) Full Text: DOI OpenURL
Alberto, Formica; Mabel, Rodríguez Properties and relations between visibility and illumination operators. (English) Zbl 1159.52005 Notas Mat. 3, No. 2, 101-109 (2007). Reviewer: Alexey Alimov (Moskva) MSC: 52A30 52A01 52A20 06A15 PDF BibTeX XML Cite \textit{F. Alberto} and \textit{R. Mabel}, Notas Mat. 3, No. 2, 101--109 (2007; Zbl 1159.52005) OpenURL
Xia, Dongqing; Dai, Fuyang Using the matrix to solve the closure of relations. (English) Zbl 1150.06301 J. Huaihua Univ. 26, No. 11, 27-29 (2007). MSC: 06A15 PDF BibTeX XML Cite \textit{D. Xia} and \textit{F. Dai}, J. Huaihua Univ. 26, No. 11, 27--29 (2007; Zbl 1150.06301) OpenURL
Funiokova, T. \(L_k\)-interior systems as systems of “almost open” \(L\)-sets. (English) Zbl 1170.03027 Iran. J. Fuzzy Syst. 4, No. 2, 47-55 (2007). Reviewer: Jiří Močkoř (Ostrava) MSC: 03E72 06A15 PDF BibTeX XML Cite \textit{T. Funiokova}, Iran. J. Fuzzy Syst. 4, No. 2, 47--55 (2007; Zbl 1170.03027) OpenURL
Li, Lifeng A kind of fuzzy concept lattice based on the \(R_0\) implication operator. (Chinese. English summary) Zbl 1141.68600 J. Baoji Univ. Arts Sci., Nat. Sci. 27, No. 2, 107-110 (2007). MSC: 68T30 06A15 06B99 03B52 68T37 PDF BibTeX XML Cite \textit{L. Li}, J. Baoji Univ. Arts Sci., Nat. Sci. 27, No. 2, 107--110 (2007; Zbl 1141.68600) OpenURL
Gutierres, Gonçalo; Hofmann, Dirk Axioms for sequential convergence. (English) Zbl 1145.54018 Appl. Categ. Struct. 15, No. 5-6, 599-614 (2007). Reviewer: Bernhard Behrens (Göteborg) MSC: 54D55 54A05 54A20 54B30 18C15 06A15 PDF BibTeX XML Cite \textit{G. Gutierres} and \textit{D. Hofmann}, Appl. Categ. Struct. 15, No. 5--6, 599--614 (2007; Zbl 1145.54018) Full Text: DOI Link OpenURL
Ma, Jian-Min; Zhang, Wen-Xiu; Leung, Yee; Song, Xiao-Xue Granular computing and dual Galois connection. (English) Zbl 1126.68043 Inf. Sci. 177, No. 23, 5365-5377 (2007). MSC: 68Q05 06A15 PDF BibTeX XML Cite \textit{J.-M. Ma} et al., Inf. Sci. 177, No. 23, 5365--5377 (2007; Zbl 1126.68043) Full Text: DOI OpenURL
Zhang, Wen-Xiu; Ma, Jian-Min; Fan, Shi-Qing Variable threshold concept lattices. (English) Zbl 1130.06004 Inf. Sci. 177, No. 22, 4883-4892 (2007). Reviewer: Jānis Cīrulis (Riga) MSC: 06B99 06A15 68T30 PDF BibTeX XML Cite \textit{W.-X. Zhang} et al., Inf. Sci. 177, No. 22, 4883--4892 (2007; Zbl 1130.06004) Full Text: DOI OpenURL
Domenach, Florent; Leclerc, Bruno The structure of the overhanging relations associated with some types of closure systems. (English) Zbl 1125.06004 Ann. Math. Artif. Intell. 49, No. 1-4, 137-149 (2007). MSC: 06A15 08A02 68T30 PDF BibTeX XML Cite \textit{F. Domenach} and \textit{B. Leclerc}, Ann. Math. Artif. Intell. 49, No. 1--4, 137--149 (2007; Zbl 1125.06004) Full Text: DOI OpenURL
Obiedkov, S.; Duquenne, V. Attribute-incremental construction of the canonical implication basis. (English) Zbl 1125.68121 Ann. Math. Artif. Intell. 49, No. 1-4, 77-99 (2007). MSC: 68T30 06A15 68W40 PDF BibTeX XML Cite \textit{S. Obiedkov} and \textit{V. Duquenne}, Ann. Math. Artif. Intell. 49, No. 1--4, 77--99 (2007; Zbl 1125.68121) Full Text: DOI OpenURL
Huchard, M.; Hacene, M. Rouane; Roume, C.; Valtchev, P. Relational concept discovery in structured datasets. (English) Zbl 1125.68097 Ann. Math. Artif. Intell. 49, No. 1-4, 39-76 (2007). MSC: 68T05 06A15 06B99 68T30 PDF BibTeX XML Cite \textit{M. Huchard} et al., Ann. Math. Artif. Intell. 49, No. 1--4, 39--76 (2007; Zbl 1125.68097) Full Text: DOI OpenURL
Napoli, Amedeo; Le Ber, Florence The Galois lattice as a hierarchical structure for topological relations. (English) Zbl 1125.06005 Ann. Math. Artif. Intell. 49, No. 1-4, 171-190 (2007). MSC: 06A15 06B99 68T30 68U05 PDF BibTeX XML Cite \textit{A. Napoli} and \textit{F. Le Ber}, Ann. Math. Artif. Intell. 49, No. 1--4, 171--190 (2007; Zbl 1125.06005) Full Text: DOI OpenURL
Cvetkovic-Ilic, Dragana; Harte, Robin On the algebraic closure in rings. (English) Zbl 1137.16034 Proc. Am. Math. Soc. 135, No. 11, 3547-3552 (2007). Reviewer: Henri Mascart (Toulouse) MSC: 16U60 46L05 06A15 PDF BibTeX XML Cite \textit{D. Cvetkovic-Ilic} and \textit{R. Harte}, Proc. Am. Math. Soc. 135, No. 11, 3547--3552 (2007; Zbl 1137.16034) Full Text: DOI OpenURL
Järvinen, Jouni Lattice theory for rough sets. (English) Zbl 1186.03069 Peters, James F. (ed.) et al., Transactions on Rough Sets VI. Commemorating life and work of Zdisław Pawlak, Part I. Berlin: Springer (ISBN 978-3-540-71198-8/pbk). Lecture Notes in Computer Science 4374. Journal Subline, 400-498 (2007). MSC: 03E72 06A06 06A15 06B05 68T30 PDF BibTeX XML Cite \textit{J. Järvinen}, Lect. Notes Comput. Sci. 4374, 400--498 (2007; Zbl 1186.03069) Full Text: DOI OpenURL
Valverde-Albacete, Francisco J.; Peláez-Moreno, Carmen Galois connections between semimodules and applications in data mining. (English) Zbl 1132.68063 Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 181-196 (2007). MSC: 68T30 06A15 06B05 16Y60 68T05 PDF BibTeX XML Cite \textit{F. J. Valverde-Albacete} and \textit{C. Peláez-Moreno}, Lect. Notes Comput. Sci. 4390, 181--196 (2007; Zbl 1132.68063) Full Text: DOI Link OpenURL
Medina, Jesús; Ojeda-Aciego, Manuel; Ruiz-Calviño, Jorge On multi-adjoint concept lattices: definition and representation theorem. (English) Zbl 1187.68588 Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 197-209 (2007). MSC: 68T30 06A15 06B99 PDF BibTeX XML Cite \textit{J. Medina} et al., Lect. Notes Comput. Sci. 4390, 197--209 (2007; Zbl 1187.68588) Full Text: DOI OpenURL
Ganter, Bernhard Relational Galois connections. (English) Zbl 1187.06002 Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 1-17 (2007). MSC: 06A15 PDF BibTeX XML Cite \textit{B. Ganter}, Lect. Notes Comput. Sci. 4390, 1--17 (2007; Zbl 1187.06002) Full Text: DOI OpenURL
Ganter, Bernhard; Reppe, Heiko Base points, non-unit implications, and convex geometries. (English) Zbl 1187.68582 Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 210-220 (2007). MSC: 68T30 06A15 06B23 52A37 PDF BibTeX XML Cite \textit{B. Ganter} and \textit{H. Reppe}, Lect. Notes Comput. Sci. 4390, 210--220 (2007; Zbl 1187.68582) Full Text: DOI OpenURL
Czédli, Gábor 2-uniform congruences in majority algebras and a closure operator. (English) Zbl 1121.08002 Algebra Univers. 57, No. 1, 63-73 (2007). Reviewer: Dimitru Buşneag (Craiova) MSC: 08A30 06A15 PDF BibTeX XML Cite \textit{G. Czédli}, Algebra Univers. 57, No. 1, 63--73 (2007; Zbl 1121.08002) Full Text: DOI OpenURL
Belohlavek, Radim; Dvořák, Jiří; Outrata, Jan Fast factorization by similarity in formal concept analysis of data with fuzzy attributes. (English) Zbl 1121.68112 J. Comput. Syst. Sci. 73, No. 6, 1012-1022 (2007). MSC: 68T30 03E72 06A15 06B23 PDF BibTeX XML Cite \textit{R. Belohlavek} et al., J. Comput. Syst. Sci. 73, No. 6, 1012--1022 (2007; Zbl 1121.68112) Full Text: DOI OpenURL
Belohlavek, Radim A note on variable threshold concept lattices: threshold-based operators are reducible to classical concept-forming operators. (English) Zbl 1119.06004 Inf. Sci. 177, No. 15, 3186-3191 (2007). MSC: 06B99 03B52 06A15 68T30 PDF BibTeX XML Cite \textit{R. Belohlavek}, Inf. Sci. 177, No. 15, 3186--3191 (2007; Zbl 1119.06004) Full Text: DOI OpenURL
Monjardet, Bernard Some order dualities in logic, games and choices. (English) Zbl 1115.06004 Int. Game Theory Rev. 9, No. 1, 1-12 (2007). MSC: 06A15 03B22 91A70 91A12 91B14 PDF BibTeX XML Cite \textit{B. Monjardet}, Int. Game Theory Rev. 9, No. 1, 1--12 (2007; Zbl 1115.06004) Full Text: DOI OpenURL
Hachimori, M.; Nakamura, M. A factorization theorem of characteristic polynomials of convex geometries. (English) Zbl 1110.06006 Ann. Comb. 11, No. 1, 39-46 (2007). MSC: 06A07 06A15 06C10 52A01 52C35 05C69 PDF BibTeX XML Cite \textit{M. Hachimori} and \textit{M. Nakamura}, Ann. Comb. 11, No. 1, 39--46 (2007; Zbl 1110.06006) Full Text: DOI OpenURL
Surma, Stan J. A Galois connection. (English) Zbl 1116.06003 Log. Univers. 1, No. 1, 209-219 (2007). MSC: 06A15 03B22 PDF BibTeX XML Cite \textit{S. J. Surma}, Log. Univers. 1, No. 1, 209--219 (2007; Zbl 1116.06003) Full Text: DOI OpenURL
Järvinen, Jouni; Kondo, Michiro; Kortelainen, Jari Modal-like operators in Boolean lattices, Galois connections and fixed points. (English) Zbl 1117.03069 Fundam. Inform. 76, No. 1-2, 129-145 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G25 06A15 06E25 PDF BibTeX XML Cite \textit{J. Järvinen} et al., Fundam. Inform. 76, No. 1--2, 129--145 (2007; Zbl 1117.03069) OpenURL
Järvinen, Jouni Pawlak’s information systems in terms of Galois connections and functional dependencies. (English) Zbl 1108.68115 Fundam. Inform. 75, No. 1-4, 315-330 (2007). MSC: 68T37 06A15 06B23 PDF BibTeX XML Cite \textit{J. Järvinen}, Fundam. Inform. 75, No. 1--4, 315--330 (2007; Zbl 1108.68115) OpenURL
Janiš, Vladimír; Šešelja, Branimir; Tepavčević, Andreja Non-standard cut classification of fuzzy sets. (English) Zbl 1120.03038 Inf. Sci. 177, No. 1, 161-169 (2007). Reviewer: Peter Sarkoci (Linz) MSC: 03E72 06A15 PDF BibTeX XML Cite \textit{V. Janiš} et al., Inf. Sci. 177, No. 1, 161--169 (2007; Zbl 1120.03038) Full Text: DOI OpenURL
Lukács, Gábor Precompact Abelian groups and topological annihilators. (English) Zbl 1111.22006 J. Pure Appl. Algebra 208, No. 3, 1159-1168 (2007). Reviewer: Kohzo Yamada (Shizuoka) MSC: 22C05 54A20 54D60 06A15 54H11 PDF BibTeX XML Cite \textit{G. Lukács}, J. Pure Appl. Algebra 208, No. 3, 1159--1168 (2007; Zbl 1111.22006) Full Text: DOI arXiv OpenURL
Dikranjan, Dikran; Kunen, Kenneth Characterizing subgroups of compact Abelian groups. (English) Zbl 1109.22002 J. Pure Appl. Algebra 208, No. 1, 285-291 (2007). Reviewer: Xabier Domínguez (La Coruña) MSC: 22C05 54H11 06A15 54A20 11J71 PDF BibTeX XML Cite \textit{D. Dikranjan} and \textit{K. Kunen}, J. Pure Appl. Algebra 208, No. 1, 285--291 (2007; Zbl 1109.22002) Full Text: DOI arXiv OpenURL