Christian Wurm. Completeness of Full Lambek Calculus for Syntactic Concept Lattices. In Glyn Morrill, Mark-Jan Nederhof, editors, Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings. Volume 8036 of Lecture Notes in Computer Science, pages 126-141, Springer, 2012. [doi]
@inproceedings{Wurm12-1,
title = {Completeness of Full Lambek Calculus for Syntactic Concept Lattices},
author = {Christian Wurm},
year = {2012},
doi = {10.1007/978-3-642-39998-5_8},
url = {http://dx.doi.org/10.1007/978-3-642-39998-5_8},
researchr = {https://researchr.org/publication/Wurm12-1},
cites = {0},
citedby = {0},
pages = {126-141},
booktitle = {Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings},
editor = {Glyn Morrill and Mark-Jan Nederhof},
volume = {8036},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-39997-8},
}