On Action Logic: Equational Theories of Action Algebras

DOI10.1093/logcom/exl036zbMath1118.03013MaRDI 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

undecidability; finite model property; Kleene algebra; action algebra; action lattices

Mathematics Subject Classification ID

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