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

DOI10.1093/JIGPAL/JZY037MaRDI QIDQ5382579zbMATH OpenOpenAlexWikidataFDO

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

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)

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

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)