Completeness of Full Lambek Calculus for Syntactic Concept Lattices
From MaRDI portal
Publication:5327376
DOI10.1007/978-3-642-39998-5_8zbMath1390.03029OpenAlexW117755977MaRDI QIDQ5327376
Publication date: 7 August 2013
Published in: Formal Grammar (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39998-5_8
Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results
This page was built for publication: Completeness of Full Lambek Calculus for Syntactic Concept Lattices
