Completeness of Full Lambek Calculus for Syntactic Concept Lattices

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]

Abstract

Abstract is missing.