A construction of an optimal base for conditional attribute and attributional condition implications in triadic contexts

This article studies implications in triadic contexts. Specifically, we focus on those introduced by Ganter and Obiedkov, namely conditional attribute and attributional condition implications. Our aim is to construct an optimal base for these implications.