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

correspondence theoryLambek calculusRasiowa-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)

Review text

The aim of the paper is to present a general framework for proof systems for relational theories. The authors describe logics of relations and proof systems, being Rasiowa-Sikorski style deductive systems, for these logics. They give principles of a construction of deduction rules which represent the same information as specific axioms and which can replace these axioms in deduction processes. They discuss correspondences reflecting relationships between semantics of relational logics and rules of the appropriate proof systems. The methods outlined in the paper are illustrated by examples concerning relational interpretation of Lambek syntactic calculus and some of its extensions. An extensive list of 41 references is given.

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

(11)

• Relational characterisations of paths
• On Automating the Calculus of Relations
• Relational dual tableaux for interval temporal logics
• Relational proof systems for spatial reasoning
• A Labelled Deductive System for Relational Semantics of the Lambek Calculus
• scientific article; zbMATH DE number 1501628 (Why is no real title available?)
• Some 3-Dimensional Systems of Labelled Deduction
• Dual tableau for monoidal triangular norm logic MTL
• Bibliography of Ewa Orłowska
• A reasoning system for satisfiability of diagrammatic specifications
• Tableaux and dual tableaux: transformation of proofs

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)