Craig’s trick and a non-sequential system for the Lambek calculus and its fragments

DOI10.1093/JIGPAL/JZY037OpenAlexW2890182348WikidataQ129406880 ScholiaQ129406880MaRDI QIDQ5382579FDOQ5382579

Authors: Valentina Lugovaya, Anastasiia Ryzhova, Stepan Kuznetsov 

Publication date: 18 June 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzy037

Recommendations

• Involutive nonassociative Lambek calculus: sequent systems and complexity
• Complexity of the Lambek calculus and its fragments
• An application of proof-nets to the study of fragments of the Lambek calculus
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Proving Craig and Lyndon interpolation using labelled sequent calculi
• Sequent combinators: a Hilbert system for the lambda calculus
• A survey of nonstandard sequent calculi
• A rule-extension of the non-associative Lambek calculus
• A formal framework for hypersequent calculi and their fibring
• A graph-theoretic approach to sequent derivability in the Lambek calculus

zbMATH Keywords

substructural logicLambek calculusLambek's restrictionCraig's tricknon-sequential calculus

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cited In (2)

• A simple example of blocking the Craig trick
• A restricted fragment of the Lambek calculus with iteration and intersection operations

This page was built for publication: Craig’s trick and a non-sequential system for the Lambek calculus and its fragments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5382579)