## Found 48 Documents (Results 1–48)

100
MathJax

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:

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

### Galois connections and complete sublattices. (English)Zbl 1066.06003

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, 211-229 (2004).
MSC:  06A15 06B23

### The polarity between approximation and distribution. (English)Zbl 1061.06010

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, 173-210 (2004).

### Categorical Galois theory: revision and some recent developments. (English)Zbl 1072.18003

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, 139-171 (2004).
MSC:  18A40 06A15

### Adjunctions and Galois connections: origins, history and development. (English)Zbl 1067.06003

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, 1-138 (2004).

### Algebraic structures and relations: A short survey. (English)Zbl 1068.08002

Eigenthaler, G. (ed.) et al., Proceedings of the 66th workshop on general algebra “66. Arbeitstagung Allgemeine Algebra”, Klagenfurt, Austria, June 19–22, 2003. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0121-2/pbk). Contributions to General Algebra 15, 161-176 (2004).

### Non-dual fuzzy connections. (English)Zbl 1060.03042

MSC:  03B52 06A15
Full Text:

### Closure systems, implicational systems, overhanging relations and the case of hierarchical classification. (English)Zbl 1059.93007

MSC:  93A13 06A15 68T30
Full Text:

### Safety of abstract interpretations for free, via logical relations and Galois connections. (English)Zbl 1091.68069

MSC:  68Q55 68N30 06A15
Full Text:

Full Text:

### Between Galois connections and (some metamathematical) solutions of equations $$fgf=f$$ and $$gfg=g$$. (English)Zbl 1054.03009

MSC:  03B22 06A15
Full Text:

Full Text:

### Galois connections among fuzzy groups, similarities, distances. (English)Zbl 1059.20064

Reviewer: E. Kerre (Gent)
Full Text:

### Additive Galois theory of modules. (English)Zbl 1062.16037

Facchini, Alberto (ed.) et al., Rings, modules, algebras, and Abelian groups.
Proceedings of the algebra conference – Venezia 2002, Venice, Italy, June 3–8, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-4807-7/pbk). Lect. Notes Pure Appl. Math. 236, 1-12 (2004).

### Similarity relations and the preservation of solidity. (English)Zbl 1039.03038

MSC:  03E20 06A15
Full Text:

### On many-sorted algebraic closure operators. (English)Zbl 1038.08001

MSC:  08A30 06A15
Full Text:

all top 3