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

DOI10.1023/A:1020572931854zbMath1020.03017OpenAlexW1495228235MaRDI QIDQ1850953

Wendy MacCaull, Ewa S. 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)

Related Items (6)

Dual tableau for monoidal triangular norm logic MTL ⋮ Relational characterisations of paths ⋮ On Automating the Calculus of Relations ⋮ Tableaux and dual tableaux: transformation of proofs ⋮ Relational dual tableaux for interval temporal logics ★ ⋮ Relational proof systems for spatial reasoning ★

This page was built for publication: Correspondence results for relational proof systems with application to the Lambek calculus