On Action Logic: Equational Theories of Action Algebras
From MaRDI portal
Publication:3437263
DOI10.1093/logcom/exl036zbMath1118.03013MaRDI QIDQ3437263
Publication date: 14 May 2007
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exl036
68Q45: Formal languages and automata
03B25: Decidability of theories and sets of sentences
03F05: Cut-elimination and normal-form theorems
08B05: Equational logic, Mal'tsev conditions
03G25: Other algebras related to logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Unnamed Item, Extensions of Lambek Calculi, COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR, Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests, Cut elimination and strong separation for substructural logics: an algebraic approach, Infinitary action logic: complexity, models and grammars, Infinitary action logic with exponentiation, Equational theories for automata, Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs, A restricted fragment of the Lambek calculus with iteration and intersection operations, Kleene star, subexponentials without contraction, and infinite computations, Parsing/theorem-proving for logical grammar \textit{CatLog3}, Type logics and pregroups, Infinitary action logic with multiplexing