Found 1,159 Documents (Results 501–600)

100
MathJax

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:

A characterization of closures and interiors. (English)Zbl 1146.06300

MSC:  06A12 06A15
Full Text:

Isomorphism via translation. (English)Zbl 1144.03015

Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 333-351 (2006).
MSC:  03B45 03G25 06A15

Comparisons and compositions of Galois-type connections. (English)Zbl 1120.06002

MSC:  06A15 06A06

MSC:  06A15

Characterization of sets of discrete functions by algebraic identities. (English)Zbl 1134.08003

MSC:  08A40 06A15 03C05
Full Text:

Ideals in ordered sets, a unifying approach. (English)Zbl 1150.06003

MSC:  06A06 06A15
Full Text:

The study of hierarchic construction of concept lattices based on the margin concept. (Chinese. English summary)Zbl 1117.68494

MSC:  68T30 06A15 06B23

About the family of closure systems preserving non-unit implications in the Guigues-Duquenne base. (English)Zbl 1177.68207

Missaoui, Rokia (ed.) et al., Formal concept analysis. 4th international conference, ICFCA 2006, Dresden, Germany, February 13–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32203-5/pbk). Lecture Notes in Computer Science 3874. Lecture Notes in Artificial Intelligence, 191-204 (2006).
MSC:  68T30 06A15 68P20
Full Text:

The tensor product as a lattice of regular Galois connections. (English)Zbl 1177.06008

Missaoui, Rokia (ed.) et al., Formal concept analysis. 4th international conference, ICFCA 2006, Dresden, Germany, February 13–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32203-5/pbk). Lecture Notes in Computer Science 3874. Lecture Notes in Artificial Intelligence, 89-104 (2006).
MSC:  06B23 06A15 68T30
Full Text:

Supremum properties of Galois-type connections. (English)Zbl 1150.06300

MSC:  06A06 06A15 54E15
Full Text:

$$n$$-closure systems and $$n$$-closure operators. (English)Zbl 1108.06003

MSC:  06A15 06B23
Full Text:

On Galois connections between external operations and relational constraints: arity restrictions and operator decompositions. (English)Zbl 1111.08001

MSC:  08A02 06A15
Full Text:

Full Text:

Fuzzy submonoids, fuzzy preorders and quasi-metrics. (English)Zbl 1106.06007

MSC:  06F05 06A15 06B99
Full Text:

Thin relations and associated closure operators. (English)Zbl 1106.54002

Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 161-172 (2006).
MSC:  54A05 06A15 08A02

Full Text:

Generalized domination in closure systems. (English)Zbl 1093.68033

MSC:  68P15 06A15 68R10
Full Text:

Equivalent fuzzy sets. (English)Zbl 1249.03088

MSC:  03E72 06A15
Full Text:

The equational closure operator. (English. Russian original)Zbl 1121.03301

Dokl. Math. 72, No. 3, 962-963 (2005); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 405, No. 6, 727-729 (2005).
MSC:  03B50 03G25 06A15

Attribute reduction theory and approach to concept lattice. (English)Zbl 1161.68796

MSC:  68T30 06A15
Full Text:

A relational abstraction for functions. (English)Zbl 1141.68371

Hankin, Chris (ed.) et al., Static analysis. 12th international symposium, SAS 2005, London, UK, September 7–9, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28584-9/pbk). Lecture Notes in Computer Science 3672, 186-202 (2005).
MSC:  68N30 06A15
Full Text:

U-closure operators and compactness. (English)Zbl 1102.18001

MSC:  18A22 18A32 06A15
Full Text:

Galois connections in data analysis: Contributions from the Soviet era and modern Russian research. (English)Zbl 1152.68628

Ganter, Bernhard (ed.) et al., Formal concept analysis. Foundations and applications. Berlin: Springer (ISBN 3-540-27891-5/pbk). Lecture Notes in Computer Science 3626. Lecture Notes in Artificial Intelligence, 196-225 (2005).
MSC:  68T30 06A15

Full Text:

Full Text:

Completeness and super-valuations. (English)Zbl 1085.03008

MSC:  03B22 03C25 06A15
Full Text:

Fuzzy closure operators with truth stressers. (English)Zbl 1089.06001

MSC:  06A15 03E72
Full Text:

Arbitrary relations in formal concept analysis and logical information systems. (English)Zbl 1132.68750

Dau, Frithjof (ed.) et al., Conceptual structures: Common semantics for sharing knowledge. 13th international conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27783-8/pbk). Lecture Notes in Computer Science 3596. Lecture Notes in Artificial Intelligence, 166-180 (2005).

On some Galois connection based abstractions for the mu-calculus. (English)Zbl 1120.68408

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 366-381 (2005).
Full Text:

On closed sets of relational constraints and classes of functions closed under variable substitutions. (English)Zbl 1095.08002

MSC:  08A02 06A15
Full Text:

Full Text:

Which concept lattices are pseudocomplemented? (English)Zbl 1078.06006

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 408-416 (2005).
MSC:  06D15 06A15 68T30
Full Text:

Crisply generated fuzzy concepts. (English)Zbl 1078.68142

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 269-284 (2005).
MSC:  68T30 06A15
Full Text:

Uncovering and reducing hidden combinatorics in Guigues-Duquenne bases. (English)Zbl 1078.68144

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 235-248 (2005).
MSC:  68T30 06A15 68P15
Full Text:

A generic algorithm for generating closed sets of a binary relation. (English)Zbl 1078.68773

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 223-234 (2005).
MSC:  68T30 06A15 06B99
Full Text:

On computing the minimal generator family for concept lattices and icebergs. (English)Zbl 1078.68776

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 192-207 (2005).
MSC:  68T30 06A15 06B99
Full Text:

Full Text:

Galois connections for generalized functions and relational constraints. (English)Zbl 1080.06002

Chajda, I. (ed.) et al., Proceedings of the 68th workshop on general algebra “68. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 10–13, 2004 and of the summer school 2004 on general algebra and ordered sets, Malá Morávka, Czech Republic, September 5–11, 2004. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0163-8/pbk). Contributions to General Algebra 16, 35-54 (2005).
Full Text:

Multipliers, closure endomorphisms and quasi-decompositions of a Hilbert algebra. (English)Zbl 1082.03056

Chajda, I. (ed.) et al., Proceedings of the 68th workshop on general algebra “68. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 10–13, 2004 and of the summer school 2004 on general algebra and ordered sets, Malá Morávka, Czech Republic, September 5–11, 2004. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0163-8/pbk). Contributions to General Algebra 16, 25-34 (2005).
MSC:  03G25 06A15

Set coverings and invertibility of functional Galois connections. (English)Zbl 1080.06001

Litvinov, G. L. (ed.) et al., Idempotent mathematics and mathematical physics. Proceedings of the international workshop, Vienna, Austria, February 3–10, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3538-6/pbk). Contemporary Mathematics 377, 19-51 (2005).
Full Text:

Formal concept analysis and rough set theory from the perspective of finite topological approximations. (English)Zbl 1117.68069

Peters, James F. (ed.) et al., Transactions on Rough Sets III. Berlin: Springer (ISBN 3-540-25998-8/pbk). Lecture Notes in Computer Science 3400. Journal Subline, 230-243 (2005).
Full Text:

Full Text:

Full Text:

The number of Moore families on $$n=6$$. (English)Zbl 1083.06003

MSC:  06A07 05A15 06A15
Full Text:

Full Text:

Closure spaces that are not uniquely generated. (English)Zbl 1062.54004

MSC:  54A05 06A15 05B35
Full Text:

Structure of the Malvenuto-Reutenauer Hopf algebra of permutations. (English)Zbl 1056.05139

MSC:  05E05 06A11 05E15 06A07 06A15 16W30
Full Text:

MSC:  06A15

Galois connections in categorial type logic. (English)Zbl 1263.03022

Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 3-20 (2004).
MSC:  03B65 06A15
Full Text:

Full Text:

On the intractability of computing the Duquenne-Guigues base. (English)Zbl 1277.68258

MSC:  68T30 68Q17 06A15
Full Text:

Coproduct transformations on lattices of closed partial orders. (English)Zbl 1116.68595

Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 336-351 (2004).
Full Text:

MSC:  06A15

MSC:  06A15

The quantale of Galois connections. (English)Zbl 1084.06003

MSC:  06A15 06F07 54E15
Full Text:

Largest extension of a finite convex geometry. (English)Zbl 1082.06005

MSC:  06B05 06A15 05B25
Full Text:

Full Text:

Full Text:

Intervals in lattices of $$\kappa$$-meet-closed subsets. (English)Zbl 1084.06005

MSC:  06B23 06A12 06A15
Full Text:

Pseudoidentities and hyper-pseudoidentities. (English)Zbl 1082.08004

Nam, Ki-Bong (ed.) et al., Advances in algebra towards millennium problems. Proceedings of the 2004 international IMCC conference on related subjects to Clay problems, Chonbuk National University, Jeonju, Republic of Korea, August 4–6, 2004. Delhi: SAS International Publications (ISBN 81-88296-00-7/hbk). 163-180 (2004).
MSC:  08A62 06A15 08C99

Full Text:

Efficient algorithms on the Moore family associated to an implicational system. (English)Zbl 1062.06004

MSC:  06A15 68P15 68W05
Full Text:

MSC:  06A15
Full Text:

Introducing Lagois correspondences. (English)Zbl 1067.06004

Gähler, W. (ed.) et al., Categorical structures and their applications. Proceedings of the North-West European category seminar, Berlin, Germany, March 28–29, 2003 . River Edge, NJ: World Scientific (ISBN 981-256-053-X/hbk). 207-217 (2004).
MSC:  06A15 18A99

On interval decomposition lattices. (English)Zbl 1062.06011

MSC:  06C10 08A02 06A15
Full Text:

Dyadic mathematics – abstractions from logical thought. (English)Zbl 1061.06012

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 453-498 (2004).

Galois connections in category theory, topology and logic. (English)Zbl 1061.06011

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 425-452 (2004).

A Galois correspondence for digital topology. (English)Zbl 1069.18006

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 413-424 (2004).

Deductive systems and Galois connections. (English)Zbl 1079.08001

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 399-411 (2004).
MSC:  08A30 06A15 08B05

Iterated Galois connections in arithmetic and linguistics. (English)Zbl 1078.18004

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 389-397 (2004).
MSC:  18A40 06A15 03B65

Complexity of terms and the Galois connection Id-Mod. (English)Zbl 1068.08004

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 371-388 (2004).
MSC:  08B05 08B15 06A15

Galois connections for partial algebras. (English)Zbl 1073.08002

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 345-370 (2004).
MSC:  08A55 06A15

A survey of clones closed under conjugation. (English)Zbl 1066.08003

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 297-343 (2004).
MSC:  08A40 08A35 06A15

$$Q$$-independence and weak automorphisms. (English)Zbl 1063.08002

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 277-295 (2004).
MSC:  08A35 06A15

Galois connections and polynomial completeness. (English)Zbl 1064.08002

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 259-276 (2004).
MSC:  08A40 06A15

Galois connections for operations and relations. (English)Zbl 1063.08003

Denecke, K. (ed.) et al., Galois connections and applications. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1897-5/hbk). Mathematics and its Applications (Dordrecht) 565, 231-258 (2004).
MSC:  08A40 08A02 06A15

all top 5

all top 5

all top 5

all top 3

all top 3