Correspondence results for relational proof systems with application to the Lambek calculus
DOI10.1023/A:1020572931854zbMATH Open1020.03017OpenAlexW1495228235MaRDI QIDQ1850953FDOQ1850953
Authors: Wendy MacCaull, Ewa Orłowska 
Publication date: 15 December 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1020572931854
Recommendations
- Relational semantics and a relational proof system for full Lambek calculus
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus
- Relational semantics of the Lambek calculus extended with classical propositional logic
- Theory and Applications of Relational Structures as Knowledge Instruments
- Relational proof system for linear and other substructural logics
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)
Cited In (10)
- Dual tableau for monoidal triangular norm logic MTL
- Tableaux and dual tableaux: transformation of proofs
- Title not available (Why is that?)
- A reasoning system for satisfiability of diagrammatic specifications
- Bibliography of Ewa Orłowska
- Some 3-Dimensional Systems of Labelled Deduction
- Relational characterisations of paths
- Relational dual tableaux for interval temporal logics
- On Automating the Calculus of Relations
- Relational proof systems for spatial reasoning
This page was built for publication: Correspondence results for relational proof systems with application to the Lambek calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850953)
