Ondrej Kridlo, Manuel Ojeda-Aciego. Towards a Sequent Calculus for Formal Contexts. In Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph, editors, Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016. Volume 1703 of CEUR Workshop Proceedings, pages 17-24, CEUR-WS.org, 2016. [doi]
@inproceedings{KridloO16,
title = {Towards a Sequent Calculus for Formal Contexts},
author = {Ondrej Kridlo and Manuel Ojeda-Aciego},
year = {2016},
url = {http://ceur-ws.org/Vol-1703/paper3.pdf},
researchr = {https://researchr.org/publication/KridloO16},
cites = {0},
citedby = {0},
pages = {17-24},
booktitle = {Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016},
editor = {Sergei O. Kuznetsov and Amedeo Napoli and Sebastian Rudolph},
volume = {1703},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}