On Action Logic: Equational Theories of Action Algebras

DOI10.1093/LOGCOM/EXL036zbMath1118.03013OpenAlexW1976366395MaRDI QIDQ3437263

Wojciech Buszkowski

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

zbMATH Keywords

undecidabilityfinite model propertyKleene algebraaction algebraaction lattices

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (14)

Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ 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 with multiplexing ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ Infinitary action logic: complexity, models and grammars ⋮ Kleene star, subexponentials without contraction, and infinite computations ⋮ Type logics and pregroups ⋮ Unnamed Item ⋮ Infinitary action logic with exponentiation ⋮ Equational theories for automata ⋮ Extensions of Lambek Calculi ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR

This page was built for publication: On Action Logic: Equational Theories of Action Algebras