A Tableau Method for the Lambek Calculus based on a Matrix Characterization
From MaRDI portal
Publication:4924540
DOI10.1016/S1571-0661(04)80855-7zbMath1264.03056OpenAlexW2043921164MaRDI QIDQ4924540
Marcelo da S. Corrêa, Leonardo Bruno Vana
Publication date: 6 June 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80855-7
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On proof normalization in linear logic
- The Mathematics of Sentence Structure
- On Matrices with Connections
- Logic Programming with Focusing Proofs in Linear Logic
- T-string unification: Unifying prefixes in non-classical proof methods
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic