Towards a Sequent Calculus for Formal Contexts.

Ondrej Kridlo, Manuel Ojeda-Aciego

Browse the full ECAI paper archive.