The Lambek calculus with iteration: two variants

DOI10.1007/978-3-662-55386-2_13zbMath1496.03088arXiv1705.07309OpenAlexW2617702297MaRDI QIDQ1685925

Stepan Kuznetsov

Publication date: 20 December 2017

Full work available at URL: https://arxiv.org/abs/1705.07309

zbMATH Keywords

Lambek calculuscyclic proofsinfinitary action logicpositive iteration

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 (4)

A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR

This page was built for publication: The Lambek calculus with iteration: two variants