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

DOI10.1093/JIGPAL/JZY037OpenAlexW2890182348WikidataQ129406880 ScholiaQ129406880MaRDI QIDQ5382579

Anastasiia Ryzhova, Valentina Lugovaya, 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

Lambek calculussubstructural logicLambek's restrictionCraig's tricknon-sequential calculus

Mathematics Subject Classification ID

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

Related Items (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