scientific article
From MaRDI portal
Publication:3590769
zbMath1123.03019MaRDI QIDQ3590769
Publication date: 3 September 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Equational classes, universal algebra in model theory (03C05) Other infinitary logic (03C75)
Related Items (12)
Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ On the Logic of Expansion in Natural Language ⋮ Relational models for the Lambek calculus with intersection and unit ⋮ Infinitary action logic with multiplexing ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ Unnamed Item ⋮ Infinitary action logic: complexity, models and grammars ⋮ Kleene star, subexponentials without contraction, and infinite computations ⋮ Unnamed Item ⋮ Infinitary action logic with exponentiation ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
This page was built for publication:
