Found 1,159 Documents (Results 401–500)

100
MathJax

Complete-lattice morphisms compatible with closure operators. (English)Zbl 1257.06003

MSC:  06B23 06A15

Parallel algorithm for computing fixpoints of Galois connections. (English)Zbl 1213.68604

MSC:  68T30 06A15 68W10
Full Text:

Full Text:

Full Text:

Closure operators and lattices derived from concurrency in posets and occurrence nets. (English)Zbl 1209.68333

MSC:  68Q85 06A15 06C15
Full Text:

A categorical approach to absolute closure. (English)Zbl 1274.18003

MSC:  18A05 06A15
Full Text:

The poset of closure systems on an infinite poset: detachability and semimodularity. (English)Zbl 1210.06002

MSC:  06A15 06C10
Full Text:

Subquasivarieties of implicative locally-finite quasivarieties. (English)Zbl 1213.08003

MSC:  08C15 03B50 06A15
Full Text:

The factorization of monotone morphism in a topos. (English)Zbl 1213.18002

MSC:  18A32 18B25 06A15

Adjunctions on the lattices of partitions and of partial partitions. (English)Zbl 1208.06003

MSC:  06B99 06A15 68U10
Full Text:

Closed classes of functions, generalized constraints, and clusters. (English)Zbl 1220.08002

MSC:  08A40 06A15
Full Text:

Dominions in quasivarieties of metabelian groups. (English. Russian original)Zbl 1204.20029

Sib. Math. J. 51, No. 3, 396-401 (2010); translation from Sib. Mat. Zh. 51, No. 3, 498-505 (2010).
Full Text:

Characterization of preclones by matrix collections. (English)Zbl 1238.06004

MSC:  06A15 08A40
Full Text:

A non-Boolean lattice derived by double indiscernibility. (English)Zbl 1287.06004

Peters, James F. (ed.) et al., Transactions on Rough Sets XII. Berlin: Springer (ISBN 978-3-642-14466-0/pbk). Lecture Notes in Computer Science 6190. Journal Subline, 211-225 (2010).
MSC:  06A15 06B99 68T30
Full Text:

Galois connections and operators. (English)Zbl 1198.06002

MSC:  06A15 03E72 06F05
Full Text:

Full Text:

Closure operators in almost distributive lattices. (English)Zbl 1207.06011

MSC:  06D75 06A15 06E75
Full Text:

On big lattices of classes of $$R$$-modules defined by closure properties. (English)Zbl 1211.16005

Dinh Van Huynh (ed.) et al., Advances in ring theory. Papers of the conference on algebra and applications, Athens, OH, USA, June 18–21, 2008. Basel: Birkhäuser (ISBN 978-3-0346-0285-3/hbk). Trends in Mathematics, 19-36 (2010).
MSC:  16D90 16S90 06A15

Full Text:

Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets. (English)Zbl 1193.06007

MSC:  06B35 06A15 06A75
Full Text:

Equivariant closure operators and trisp closure maps. (English)Zbl 1188.05160

MSC:  05E18 06A15
Full Text:

Full Text:

Full Text:

Two basic algorithms in concept analysis. (English)Zbl 1274.68484

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 312-340 (2010).
MSC:  68T30 05C85 06A15
Full Text:

On links between concept lattices and related complexity problems. (English)Zbl 1274.06021

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 138-144 (2010).
MSC:  06B23 06A15 68Q25
Full Text:

Counting of Moore families for $$n=7$$. (English)Zbl 1274.05013

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 72-87 (2010).
MSC:  05A15 06A15
Full Text:

Full Text:

On rough concept lattices. (English)Zbl 1342.68314

Chen, Y.-X. (ed.) et al., Proceedings of the fifth international symposium on domain theory (ISDT 2009), Shanghai, China, September 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 257, 117-133 (2009).
Full Text:

Closures in binary partial algebras. (English)Zbl 1344.08002

Chen, Y.-X. (ed.) et al., Proceedings of the fifth international symposium on domain theory (ISDT 2009), Shanghai, China, September 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 257, 3-18 (2009).
MSC:  08A55 06A15 68T30
Full Text:

Abstract interpretation from a denotational-semantics perspective. (English)Zbl 1337.68162

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 19-37 (2009).
MSC:  68Q55 06A15 06B35
Full Text:

On critical sets of a finite Moore family. (English)Zbl 1306.62139

MSC:  62H30 06A15 62-07
Full Text:

The algebraic completion of posets. (Chinese. English summary)Zbl 1264.06003

MSC:  06A11 06A15

Algorithms for counting Moore families: application to the case $$n=7$$. (Spanish. English summary)Zbl 1260.05007

MSC:  05A15 06A07 06A15

MSC:  06A15

A more important Galois connection between distance functions and inequality relations. (English)Zbl 1221.54031

MSC:  54E25 06A15

Determining a closure system by a weak isolated operator or a weak outer isolated operator. (Chinese. English summary)Zbl 1245.06009

MSC:  06A15 06B23
Full Text:

Going down in (semi)lattices of finite Moore families and convex geometries. (English)Zbl 1224.06005

MSC:  06A12 05B25 06A15
Full Text:

Full Text:

Size of random Galois lattices and number of closed frequent itemsets. (English)Zbl 1187.68389

MSC:  68T05 06A15
Full Text:

Full Text:

On closure axioms for a matroid using Galois connections. (English)Zbl 1192.05023

MSC:  05B35 06A15

Sums, products and negations of contexts and complete lattices. (English)Zbl 1191.06003

MSC:  06B23 06A15 68T30
Full Text:

Sequential convergence via Galois correspondences. (English)Zbl 1199.54025

MSC:  54A20 06A15 54A05 54D55 18B30
Full Text:

Data mining, reasoning and incremental information retrieval through non enlargeable rectangular relation coverage. (English)Zbl 1267.68226

Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04638-4/pbk). Lecture Notes in Computer Science 5827, 199-210 (2009).
Full Text:

Covering morphisms and normal extensions in Galois structures associated with torsion theories. (English)Zbl 1197.18007

MSC:  18E40 18A99 06A15

Computing and visualizing closure objects using relation algebra and RelView. (English)Zbl 1260.68477

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 29-44 (2009).
Full Text:

Closure operators for order structures. (English)Zbl 1252.06002

Kutyłowski, Mirosław (ed.) et al., Fundamentals of computation theory. 17th international symposium, FCT 2009, Wrocław, Poland, September 2–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03408-4/pbk). Lecture Notes in Computer Science 5699, 217-229 (2009).
MSC:  06A15 68Q85
Full Text:

Full Text:

Rough set theory: ontological systems, entailment relations and approximation operators. (English)Zbl 1248.68484

Peters, James F. (ed.) et al., Transactions on Rough Sets X. Berlin: Springer (ISBN 978-3-642-03280-6/pbk). Lecture Notes in Computer Science 5656. Journal Subline, 1-14 (2009).
Full Text:

When is the insertion of the generators injective for a sur-reflective subcategory of a category of many-sorted algebras? (English)Zbl 1173.08004

MSC:  08A68 06A15 08C05
Full Text:

Closure. (English)Zbl 1192.54001

Mynard, Frédéric (ed.) et al., Beyond topology. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4279-9/pbk). Contemporary Mathematics 486, 163-238 (2009).
MSC:  54A05 06A15

Full Text:

Restructuring lattice theory: an approach based on hierarchies of concepts. (English)Zbl 1247.06004

Ferré, Sébastien (ed.) et al., Formal concept analysis. 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01814-5/pbk). Lecture Notes in Computer Science 5548. Lecture Notes in Artificial Intelligence, 314-339 (2009).
Full Text:

Full Text:

Fuzzy Galois connections on fuzzy posets. (English)Zbl 1172.06001

MSC:  06A15 03E72 06A06
Full Text:

The $$\mathfrak q$$-theory of finite semigroups. (English)Zbl 1186.20043

Springer Monographs in Mathematics. New York, NY: Springer (ISBN 978-0-387-09780-0/hbk; 978-0-387-09781-7/ebook). xxii, 666 p. (2009).

Pre-Galois connection on coalgebras for generic component refinement. (English)Zbl 1279.68061

Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 203-217 (2008).
MSC:  68N30 06A15 18C20
Full Text:

Implication and functional dependency in intensional contexts. (English)Zbl 1270.68296

MSC:  68T30 06A15 68P15

Relationships between Galois connections and operators. (English)Zbl 1236.06001

MSC:  06A15 18A22 18B30
Full Text:

Full Text:

Relating generalized concept lattices and concept lattices for non-commutative conjunctors. (English)Zbl 1187.06003

MSC:  06B99 03B52 06A15
Full Text:

On residuated mappings. (English)Zbl 1174.06301

MSC:  06A06 06A15 06B23

Full Text:

Sublattices of the direct product. (English)Zbl 1170.06003

MSC:  06B23 06A15
Full Text:

Ortho and causal closure operations in ordered vector spaces. (English)Zbl 1161.06003

MSC:  06C15 06F20 06A15
Full Text:

Radon and Helly numbers of segment spaces. (English)Zbl 1169.05048

Changat, Manoj (ed.) et al., Convexity in discrete structures. Joint proceedings of the international instructional workshop on convexity in discrete structures, Thiruvananthapuram, Kerala, India, March 22–April 2, 2006 and the international workshop on metric and convex graph theory, Barcelona, Spain, June 12–16, 2006. Mysore: Ramanujan Mathematical Society (ISBN 978-81-902545-5-7/hbk). Ramanujan Mathematical Society Lecture Notes Series 5, 57-71 (2008).

Partial polymorphisms and constraint satisfaction problems. (English)Zbl 1171.68502

Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 229-254 (2008).
Full Text:

Basics of Galois connections. (English)Zbl 1171.06301

Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 38-67 (2008).
MSC:  06A15
Full Text:

Non-uniform Boolean constraint satisfaction problems with cardinality constraint. (English)Zbl 1156.68399

Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 109-123 (2008).
MSC:  68Q25 06A15 68T20
Full Text:

Interior and closure operators on bounded commutative residuated $$\ell$$-monoids. (English)Zbl 1227.06014

MSC:  06F05 03G25 06A15
Full Text:

Full Text:

Some decision and counting problems of the Duquenne-Guigues basis of implications. (English)Zbl 1160.68031

MSC:  68T30 06A15 68Q17
Full Text:

Classification and enumeration of bases in $$P_k(2)$$. (English)Zbl 1169.08002

MSC:  08A40 06A15
Full Text:

Chu correspondences. (English)Zbl 1146.06002

MSC:  06A15 06B23 18B99
Full Text:

Generalistic mathematics as mathematics for the general public. (English)Zbl 1221.00004

Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 211-225 (2008).
MSC:  00A06 06A15

Closure lattices of closure spaces. (English)Zbl 1148.06003

Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 175-188 (2008).
MSC:  06B23 06A15 06B15

Full Text:

Closure systems of equivalence relations and their labeled class geometries. (English)Zbl 1134.68054

Ben Yahia, Sadok (ed.) et al., Concept lattices and their applications. Fourth international conference, CLA 2006, Tunis, Tunisia, October 30–November 1, 2006. Selected papers. Berlin: Springer (ISBN 978-3-540-78920-8/pbk). Lecture Notes in Computer Science 4923. Lecture Notes in Artificial Intelligence, 96-106 (2008).
MSC:  68T30 06A15
Full Text:

Congruences on dynamic algebras. (English)Zbl 1147.03036

MSC:  03G25 06A15 06E25
Full Text:

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:

all top 5

all top 5

all top 5

all top 3

all top 3