Relational semantics and a relational proof system for full Lambek calculus
From MaRDI portal
Publication:4212926
DOI10.2307/2586855zbMath0926.03024OpenAlexW2052756194MaRDI QIDQ4212926
Publication date: 23 November 1999
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586855
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Cites Work
- Logic at work. Essays dedicated to the memory of Helena Rasiowa
- Lambek calculus and its relational semantics: Completeness and incompleteness
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Logics without the contraction rule
- Rough sets
- Relational proof system for relevant logics
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS