Correspondence results for relational proof systems with application to the Lambek calculus

DOI10.1023/A:1020572931854MaRDI QIDQ1850953zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Lambek calculuscorrespondence theoryRasiowa-Sikorski proof systemsrelational logics

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)

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

Cited in

(10)

• Dual tableau for monoidal triangular norm logic MTL
• Tableaux and dual tableaux: transformation of proofs
• scientific article; zbMATH DE number 1501628 (Why is no real title available?)
• 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)