Implications in triadic formal contexts

Bernhard Ganter

Sergei Obiedkov

pp. 186-195

in: Karl E. Wolff, Heather D. Pfeiffer, Harry Delugach (eds), Conceptual structures at work, Berlin, Springer, 2004

Abstract

There are different possibilities to define implications in a triadic formal context. We discuss several such notions. Our main interest is to give compact descriptions and to use them for an algorithm that generates these implications. Our findings are illustrated by a small example.