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. 1
%0 Book Section
%1 ganter2004implications
%A Ganter, Bernhard
%A Obiedkov, Sergei
%B Conceptual Structures at Work
%D 2004
%I Springer
%K imported
%P 186--195
%T Implications in triadic formal contexts
%U http://link.springer.com/chapter/10.1007/978-3-540-27769-9_12
%X 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. 1
@incollection{ganter2004implications,
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. 1},
added-at = {2013-08-04T16:07:13.000+0200},
author = {Ganter, Bernhard and Obiedkov, Sergei},
biburl = {https://www.bibsonomy.org/bibtex/2f31d31ed7d53a280761917185d741e27/francesco.k},
booktitle = {Conceptual Structures at Work},
citations = {17},
citedbyid = {116305522379983974},
file = {file://Implications in Triadic Formal Contexts.pdf:pdf},
interhash = {36b7959c1a3d3f7c7a66165da51d3b7a},
intrahash = {f31d31ed7d53a280761917185d741e27},
keywords = {imported},
md5sum = {8881e510e68df8a97d458b859bccb813},
pages = {186--195},
pdfmeat = {timestamp: 2013-08-04 16:05:53; queries: 1; inode: 1949815},
publisher = {Springer},
timestamp = {2013-08-04T16:07:13.000+0200},
title = {Implications in triadic formal contexts},
url = {http://link.springer.com/chapter/10.1007/978-3-540-27769-9_12},
year = 2004
}