## Found 234 Documents (Results 1–100)

100
MathJax

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### Galois connections for bilattices. (English)Zbl 07364297

MSC:  06A15 06B05 03G25
Full Text:

### Calculational proofs in relational graphical linear algebra. (English)Zbl 07370046

Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 83-100 (2020).
Full Text:

### Rough sets based on Galois connections. (English)Zbl 1477.68308

MSC:  68T37 06A15
Full Text:

Full Text:

### Reinventing known results in FCA: notes on two recently published algorithms for computation of formal concepts. (English)Zbl 1430.68333

MSC:  68T30 68W40
Full Text:

### Automata learning and Galois connections (Invited Talk). (English)Zbl 07561497

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 4, 1 p. (2019).
MSC:  68Nxx 68Qxx
Full Text:

Full Text:

### Differential Galois theory and isomonodromic deformations. (English)Zbl 1427.53024

MSC:  53C05 14L30 12H05
Full Text:

### The geometry of perpendicularity: the axiomatic multidimensional space and De Morgan’s laws. (Russian. English summary)Zbl 1432.51002

MSC:  51A05 06A15 06C15

### A Galois connection between Turing jumps and limits. (English)Zbl 06932682

MSC:  03B70 68-XX
Full Text:

Full Text:

### Chains in shard intersection lattices and parabolic support posets. (English)Zbl 06828808

MSC:  06A07 05E45 05A18 20F55 05E15
Full Text:

MSC:  94D10
Full Text:

### Relationships between inclusions for relations and inequalities for corelations. (English)Zbl 1424.06009

MSC:  06A15 54C60

### Clones of (continuous) partial cofunctions. (English)Zbl 1398.08004

MSC:  08A40 08A55
Full Text:

### A natural Galois connection between generalized norms and metrics. (English)Zbl 06869859

MSC:  06A15 20A99 54E25
Full Text:

### Permutation groups, pattern involvement, and Galois connections. (English)Zbl 1399.20001

MSC:  20B10 08A40 05A05
Full Text:

Full Text:

Full Text:

Full Text:

### Foundations of arithmetic differential geometry. (English)Zbl 1388.11001

Mathematical Surveys and Monographs 222. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3623-0/hbk; 978-1-4704-4089-3/ebook). x, 344 p. (2017).
Full Text:

### Biclosed relations with respect to torsion theories and almost continuous bifunctors. (English)Zbl 1387.16025

MSC:  16S90 18A40 06A15
Full Text:

### Integrability of Hamiltonian systems with algebraic potentials. (English)Zbl 1377.37097

MSC:  37K10 37J30 70G45
Full Text:

Full Text:

### Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. (English)Zbl 1361.68129

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 311-324 (2016).
MSC:  68Q55 06A15 68Q60 68T15
Full Text:

Full Text:

### Polarities and generalized extremal convolutions. (English)Zbl 1348.49009

MSC:  49J45 49J52 49-03
Full Text:

Full Text:

Full Text:

MSC:  94D10
Full Text:

### A ‘best-of-breed’ approach for designing a fast algorithm for computing fixpoints of Galois connections. (English)Zbl 1360.68797

MSC:  68T30 06A15
Full Text:

Full Text:

Full Text:

### Towards antichain algebra. (English)Zbl 1471.68086

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9348, 344-361 (2015).
MSC:  68P15 06A06 06A15
Full Text:

### Multi-adjoint algebras versus non-commutative residuated structures. (English)Zbl 1350.06003

MSC:  06A15 03G25
Full Text:

Full Text:

Full Text:

Full Text:

### Notes on commutation of limits and colimits. (English)Zbl 1317.18004

Reviewer: Ittay Weiss (Suva)
MSC:  18A30 18B05 20J99
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:

### Fundamentals of Hopf algebras. (English)Zbl 1341.16034

Universitext. Cham: Springer (ISBN 978-3-319-18990-1/pbk; 978-3-319-18991-8/ebook). xiv, 150 p. (2015).
Full Text:

Full Text:

MSC:  03G30
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:

### An invitation to general algebra and universal constructions. 2nd ed. (English)Zbl 1317.08001

Universitext. Cham: Springer (ISBN 978-3-319-11477-4/hbk; 978-3-319-11478-1/ebook). x, 572 p. (2015).
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:

MSC:  06A15

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

MSC:  06A15 06B23 18B99
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:

### 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:

### Duality, conjugacy and adjointness of approximation operators in covering-based rough sets. (English)Zbl 1316.03033

MSC:  03E72 68T37
Full Text:

Full Text:

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

MSC:  06A15 16D80 16P60

Full Text:

Full Text:

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

MSC:  06A15 08A02
Full Text:

Full Text:

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:

Full Text:

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

MSC:  06A15 06B75 68T30
Full Text:

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

MSC:  03G25 06A15

Full Text:

### On the logarithmic connections over curves. (English)Zbl 1296.14027

MSC:  14H60 14F05
Full Text:

Full Text:

Full Text:

### Recursive decomposition and bounds of the lattice of Moore co-families. (English)Zbl 1311.06003

MSC:  06A15 05A15 06B05
Full Text:

Full Text:

Full Text:

### Approximation of sets based on partial covering. (English)Zbl 1377.68236

Peters, James F. (ed.) et al., Transactions on Rough Sets XVI. Berlin: Springer (ISBN 978-3-642-36504-1/pbk). Lecture Notes in Computer Science 7736. Journal Subline, 144-220 (2013).
Full Text:

### The application of a characterization of adjunctions. (English)Zbl 1310.06005

MSC:  06A15 06A07 16Y60
Full Text:

### Galois-type connections and continuities of pairs of relations. (English)Zbl 1453.06003

MSC:  06A15 54E15

Full Text:

### Formal concept analysis and linguistic hedges. (English)Zbl 1277.93045

MSC:  93C42 91F20 68T37
Full Text:

### Hypercubes of duality. (English)Zbl 1272.03061

Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 293-301 (2012).
MSC:  03B05 03B10 06A15
Full Text:

### A general Galois theory for operations and relations in arbitrary categories. (English)Zbl 1283.06010

MSC:  06A15 08A40 18A20
Full Text:

### Strong connections and invertible weak entwining structures. (English)Zbl 1267.16031

MSC:  16T15 16T05 18D10
Full Text:

### Calculating graph algorithms for dominance and shortest path. (English)Zbl 1358.68077

Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 132-156 (2012).
Full Text:

MSC:  97H50
Full Text:

### Possibility-theoretic extension of derivation operators in formal concept analysis over fuzzy lattices. (English)Zbl 1254.06005

MSC:  06A15 06D72 68T30
Full Text:

### The construction of fuzzy concept lattices based on $$(\theta , \sigma )$$-fuzzy rough approximation operators. (English)Zbl 1236.68234

MSC:  68T30 06B75
Full Text:

MSC:  06A15
Full Text:

### Fuzzy Galois connections under weak conditions. (English)Zbl 1231.03043

MSC:  03E72 06A15 06F25
Full Text:

### Isotone fuzzy Galois connections with hedges. (English)Zbl 1226.06001

MSC:  06A15 06B99 68T30
Full Text:

### Gene expression array exploration using $$\mathcal{K}$$-formal concept analysis. (English)Zbl 1328.92048

Valtchev, Petko (ed.) et al., Formal concept analysis. 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2–6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20513-2/pbk). Lecture Notes in Computer Science 6628. Lecture Notes in Artificial Intelligence, 119-134 (2011).
MSC:  92D10 68T05 68T30
Full Text:

### Riemann-Hilbert for tame complex parahoric connections. (English)Zbl 1232.34117

MSC:  34M35 34M50
Full Text:

Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3