Found 32 Documents (Results 1–32)

100
MathJax

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).
Full Text:

Hereditary systems of discrete functions. (Russian)Zbl 1249.03021

MSC:  03B50 06A15

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).
Full Text:

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
Full Text:

MSC:  06A15

$$L_k$$-interior systems as systems of “almost open” $$L$$-sets. (English)Zbl 1170.03027

MSC:  03E72 06A15

Full Text:

Granular computing and dual Galois connection. (English)Zbl 1126.68043

MSC:  68Q05 06A15
Full Text:

Variable threshold concept lattices. (English)Zbl 1130.06004

MSC:  06B99 06A15 68T30
Full Text:

The structure of the overhanging relations associated with some types of closure systems. (English)Zbl 1125.06004

MSC:  06A15 08A02 68T30
Full Text:

Attribute-incremental construction of the canonical implication basis. (English)Zbl 1125.68121

MSC:  68T30 06A15 68W40
Full Text:

Full Text:

Full Text:

On the algebraic closure in rings. (English)Zbl 1137.16034

MSC:  16U60 46L05 06A15
Full Text:

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).
Full Text:

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).
Full Text:

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
Full Text:

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
Full Text:

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).
Full Text:

2-uniform congruences in majority algebras and a closure operator. (English)Zbl 1121.08002

MSC:  08A30 06A15
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

A Galois connection. (English)Zbl 1116.06003

MSC:  06A15 03B22
Full Text:

Modal-like operators in Boolean lattices, Galois connections and fixed points. (English)Zbl 1117.03069

MSC:  03G25 06A15 06E25

Pawlak’s information systems in terms of Galois connections and functional dependencies. (English)Zbl 1108.68115

MSC:  68T37 06A15 06B23

Non-standard cut classification of fuzzy sets. (English)Zbl 1120.03038

MSC:  03E72 06A15
Full Text:

Full Text:

Full Text:

all top 3

all top 3