## Found 1,159 Documents (Results 201–300)

100
MathJax

### Interior operators, open morphisms and the preservation property. (English)Zbl 1316.18002

Reviewer: Ittay Weiss (Suva)
MSC:  18A05 06A15 54B30
Full Text:

Full Text:

### Extensional confluences and local closure operators. (English)Zbl 1312.68194

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 128-144 (2015).
Full Text:

### On closure systems and adjunctions between fuzzy preordered sets. (English)Zbl 1314.06005

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 114-127 (2015).
MSC:  06A15 06A75
Full Text:

### Bonds between $$L$$-fuzzy contexts over different structures of truth-degrees. (English)Zbl 1312.68188

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 81-96 (2015).
MSC:  68T30 03G25 06A15
Full Text:

### Pushout invariance revisited. (English)Zbl 1349.18004

MSC:  18A20 18A40 06A15
Full Text:

Full Text:

Full Text:

### Invariance groups of finite functions and orbit equivalence of permutation groups. (English)Zbl 1319.06003

MSC:  06A07 06A15 08A40 06E30 20B35 94C10
Full Text:

### Adjoint triples and residuated aggregators. (English)Zbl 1432.03106

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 345-354 (2014).
MSC:  03E72 03G25 06A15
Full Text:

### Generating isotone Galois connections on an unstructured codomain. (English)Zbl 1432.06001

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 91-99 (2014).
MSC:  06A15 06A06
Full Text:

### Antitone $$L$$-bonds. (English)Zbl 1415.68224

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 71-80 (2014).
MSC:  68T30 06A15
Full Text:

Full Text:

### Chromatic polynomials and rings in species. (English. French summary)Zbl 1393.05160

Proceedings of the 26th international conference on formal power series and algebraic combinatorics, FPSAC 2014, Chicago, IL, USA, June 29 – July 3, 2014. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 691-702 (2014).
Full Text:

### Abstract interpretation from Büchi automata. (English)Zbl 1401.68162

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 51, 10 p. (2014).
Full Text:

### Relation algebra throughout Galois connections. (English)Zbl 1373.03128

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 49-62 (2014).
MSC:  03G15 06A15

MSC:  06A15

MSC:  06A15
Full Text:

MSC:  06A15
Full Text:

Full Text:

### Galois connections, Chu mappings and bonds. (Spanish. English summary)Zbl 1352.06003

MSC:  06A15 06B23 18B99
Full Text:

Full Text:

### Lower and upper concept lattices. (English)Zbl 1349.06011

MSC:  06B23 06A15 68T30
Full Text:

### A short introduction to clones. (English)Zbl 1341.08003

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 107-120, electronic only (2014).
MSC:  08A40 06A15 18C10
Full Text:

### Triadic fuzzy Galois connections as ordinary connections. (English)Zbl 1334.68213

MSC:  68T30 03B52 06A15
Full Text:

### On equivalence of conceptual scaling and generalized one-sided concept lattices. (English)Zbl 1328.68217

MSC:  68T30 06A15 06B23
Full Text:

### A more general framework for Cogalois theory. (English)Zbl 1346.20026

Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 37-84 (2014).
Full Text:

Full Text:

Full Text:

### On heterogeneous formal contexts. (English)Zbl 1315.68232

MSC:  68T30 06A15 06B75
Full Text:

### Baer-Galois connections and applications. (English)Zbl 1324.06003

MSC:  06A15 16D80 16P60

Full Text:

### Generalized pattern extraction from concept lattices. (English)Zbl 1319.68215

MSC:  68T30 06A15 06B23
Full Text:

### Characterizing functional dependencies in formal concept analysis with pattern structures. (English)Zbl 1320.68064

MSC:  68P15 06A15 68T30
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### Dualizing clones into categories of topological spaces. (English)Zbl 1310.08001

Reviewer: Ittay Weiss (Suva)
Full Text:

### $$n$$-perfect and $$\mathbb Q$$-perfect pseudo effect algebras. (English)Zbl 1302.81034

MSC:  81P10 06A11 06A15
Full Text:

### A particular Galois connection between relations and set functions. (English)Zbl 1317.06008

MSC:  06A15 08A02
Full Text:

### The classical Galois closure for universal algebras. (English. Russian original)Zbl 1301.08004

Russ. Math. 58, No. 2, 39-44 (2014); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2014, No. 2, 47-53 (2014).
MSC:  08A35 06A15 20B25
Full Text:

Full Text:

Full Text:

Full Text:

MSC:  06A15
Full Text:

### Hamiltonian closure on universal algebras. (English. Russian original)Zbl 1304.08002

Sib. Math. J. 55, No. 3, 498-502 (2014); translation from Sib. Mat. Zh. 55, No. 3, 610-616 (2014).
Full Text:

Full Text:

### Join-meet and meet-join preserving maps. (English)Zbl 1354.06007

MSC:  06D72 06A15 06A75
Full Text:

Full Text:

### On certain relations for $$C$$-closure operations on an ordered semigroup. (English)Zbl 1307.06009

MSC:  06F05 06A15
Full Text:

### Recursive decomposition tree of a Moore co-family and closure algorithm. (English)Zbl 1311.06004

MSC:  06A15 06B05
Full Text:

Full Text:

### Closed patterns and abstraction beyond lattices. (English)Zbl 1444.68213

Glodeanu, Cynthia Vera (ed.) et al., Formal concept analysis. 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10–13, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8478, 203-218 (2014).
MSC:  68T30 06A15
Full Text:

### On the existence of isotone Galois connections between preorders. (English)Zbl 1444.06003

Glodeanu, Cynthia Vera (ed.) et al., Formal concept analysis. 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10–13, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8478, 67-79 (2014).
MSC:  06A15
Full Text:

### On the succinctness of closure operator representations. (English)Zbl 1444.68212

Glodeanu, Cynthia Vera (ed.) et al., Formal concept analysis. 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10–13, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8478, 15-36 (2014).
MSC:  68T30 06A15
Full Text:

Full Text:

### Alexandrov $$L$$-topologies and $$L$$-join meet approximation operators. (English)Zbl 1286.03151

MSC:  03E72 06A15 54A40
Full Text:

Full Text:

### On basic conditions to generate multi-adjoint concept lattices via Galois connections. (English)Zbl 1320.06005

MSC:  06A15 06B75 68T30
Full Text:

### A Galois connection calculus for abstract interpretation. (English)Zbl 1284.68173

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 3-4 (2014).
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### Formal contexts, formal concept analysis, and Galois connections. (English)Zbl 1464.68383

Banerjee, Anindya (ed.) et al., Semantics, abstract interpretation, and reasoning about programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, September 19–20, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 105-120 (2013).
MSC:  68T30 06A15
Full Text:

### Representation of fuzzy concept lattices in the framework of classical FCA. (English)Zbl 1397.06015

MSC:  06D72 06A15 68T30
Full Text:

### Generalization of one-sided concept lattices. (English)Zbl 1413.06008

MSC:  06B23 06A15 68T30

### Concept lattices of a relational structure. (English)Zbl 1351.68277

Pfeiffer, Heather D. (ed.) et al., Conceptual structures for STEM research and education. 20th international conference on conceptual structures, ICCS 2013, Mumbay, India, January 10–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35785-5/pbk; 978-3-642-35786-2/ebook). Lecture Notes in Computer Science 7735, 301-310 (2013).
Full Text:

### Multi-adjoint relation equations: definition, properties and solutions using concept lattices. (English)Zbl 1320.68173

MSC:  68T30 03E72 06A15
Full Text:

### Axiomatic characterizations of dual concept lattices. (English)Zbl 1316.68162

MSC:  68T30 06A15 06B23
Full Text:

### Fuzzy relation equations and Galois connections. (English)Zbl 1312.03035

MSC:  03E72 06A15 15B33

### Dual multi-adjoint concept lattices. (English)Zbl 1293.06001

MSC:  06B99 06A15 68T30
Full Text:

### Formal concept analysis and lattice-valued Chu systems. (English)Zbl 1320.06004

MSC:  06A15 06B75 68T30
Full Text:

### Note on formal contexts of generalized one-sided concept lattices. (English)Zbl 1299.06008

MSC:  06A15 06B23 68T30
Full Text:

### On some application of residuated mappings. (English)Zbl 1287.06006

MSC:  06B23 03E72 06A15
Full Text:

### Right and left closure operators. (English)Zbl 1295.03044

MSC:  03G25 06A15

### Closure-based constraints in formal concept analysis. (English)Zbl 1312.68180

MSC:  68T30 06A15
Full Text:

Full Text:

### Closures on partial partitions from closures on sets. (English)Zbl 1324.06004

MSC:  06A15 03E02 05A18
Full Text:

Full Text:

### On lattice-theoretical construction of matroids. (English)Zbl 1324.05019

MSC:  05B35 06A15 06B05
Full Text:

### Interior operators and topological separation. (English)Zbl 1284.54024

MSC:  54B30 54D10 18B30 06A15
Full Text:

Full Text:

### Closure operators and closure systems on quantaloid-enriched categories. (English)Zbl 1289.18007

MSC:  18D20 06A15
Full Text:

### Morphism classes producing (weak) Grothendieck topologies, (weak) Lawvere-Tierney topologies, and universal closure operations. (English)Zbl 1296.06005

MSC:  06A15 18F10

Full Text:

Full Text:

Full Text:

Full Text:

### Extensions of ordering sets of states from effect algebras onto their MacNeille completions. (English)Zbl 1270.06005

MSC:  06D35 06A15 81P10
Full Text:

Full Text:

### Lattice-valued topological systems as a framework for lattice-valued formal concept analysis. (English)Zbl 1403.06009

MSC:  06B23 06A15 06B30 18B30 68T30
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3