The Pentus theorem for Lambek calculus with simple nonlogical axioms
From MaRDI portal
Publication:817678
DOI10.1007/S11225-005-2801-XzbMath1116.03017OpenAlexW1975040173MaRDI QIDQ817678
Publication date: 17 March 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-005-2801-x
Grammars and rewriting systems (68Q42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (1)
Cites Work
This page was built for publication: The Pentus theorem for Lambek calculus with simple nonlogical axioms