Relational semantics and a relational proof system for full Lambek calculus

DOI10.2307/2586855zbMath0926.03024OpenAlexW2052756194MaRDI QIDQ4212926

Wendy MacCaull

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

zbMATH Keywords

relational semanticsproof theoryrelational logicKripke-style semanticsfull Lambek calculus

Mathematics Subject Classification ID

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 (2)

Unnamed Item ⋮ A relational semantics for the logic of bounded lattices

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

This page was built for publication: Relational semantics and a relational proof system for full Lambek calculus