J. Adámek
H. Herrlich
G. E. Strecker
2009
Abstract and Concrete Categories
second
Dover Publications
New York
G. Birkhoff
1940
Lattice Theory
first
25
American Mathematical Society Colloquium Publications
G. Birkhoff
1967
Lattice Theory
third
25
American Mathematical Society Colloquium Publications
T. S. Blyth
1970
Sur certaines images homomorphes des demi-groupes ordonnés,
Bull. Soc. Math. France
94
101–111
J. T. Denniston
A. Melton
S. E. Rodabaugh
Lattice-valued predicate transformers, Chu games, and lattice-valued transformer systems
Under revision
J. T. Denniston
A. Melton
S. E. Rodabaugh
2013
Formal concept analysis and lattice-valued Chu systems
Fuzzy Sets and Systems
216
52–90
10.1016/j.fss.2012.09.002
M. Erné
J. Koslowski
A. Melton
G. E. Strecker
1993
A primer on Galois connections
Proceedings of the 1991 Summer Conference on General Topology and Applications in Honor of Mary Ellen Rudin and Her Work
704
Annals of the New York Academy of Sciences
103–125
10.1111/j.1749-6632.1993.tb52513.x
B. Ganter
G. Stumme
R. Wille
2005
Formal Concept Analysis: Foundations and Applications
Lecture Notes in Artificial Intelligence
3626
Springer Verlag
Berlin, Heidelberg, New York
10.1007/b105806
B. Ganter
R. Wille
1996
Formale Begriffsanalyse: Mathematishce Grundlagen
Springer Verlag
Berlin, Heidelberg, New York
10.1007/978-3-642-61450-7
English edition was published in 1999.
P. T. Johnstone
1982
Stone Spaces
Cambridge University Press
Cambridge
J. M. McDill
A. C. Melton
G. E. Strecker
1987
A category of Galois connections
Lecture Notes in Computer Science
283
Springer Verlag
Berlin, Heidelberg, New York
290–300
http://dx.doi.org/10.1007/3-540-18508-9_32
A. Melton
D. A. Schmidt
G. E. Strecker
1986
Galois connections and computer science applications
Lecture Notes in Computer Science
240
Springer Verlag
Berlin, Heidelberg, New York
299–312
http://dx.doi.org/10.1007/3-540-17162-2_130
O. Ore
1944
Galois connexions
Trans. Amer. Math. Soc.
55
493–513
10.1090/S0002-9947-1944-0010555-7
J. Schmidt
1953
Beitraege zur filtertheorie II
Math. Nachr.
10
197–232
10.1002/mana.19530100309
G. Stumme
2002
Efficient data mining based on formal concept analysis
A. Hameurlain
R. Cicchetti
R. Traunmueller
Database and Expert Systems Applications
Lecture Notes in Computer Science
2453
Springer Verlag
Berlin, Heidelberg, New York
534–546
http://dx.doi.org/10.1007/3-540-46146-9_53
S. J. Vickers
1989
Topology Via Logic
Cambridge University Press
Cambridge
B. Vormbrock
R. Wille
2005
Semiconcept and protoconcept algebras: the basic theorems
2
34–48
Springer Verlag
Berlin, Heidelberg
http://dx.doi.org/10.1007/11528784_2