On Action Logic: Equational Theories of Action Algebras

DOI10.1093/LOGCOM/EXL036zbMATH Open1118.03013OpenAlexW1976366395MaRDI QIDQ3437263FDOQ3437263

Authors: 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

Recommendations

• Infinitary action logic: complexity, models and grammars
• On the Complexity of the Equational Theory of Relational Action Algebras
• scientific article; zbMATH DE number 549971
• scientific article; zbMATH DE number 5904676
• An infinitary sequent system for the equational theory of *-continuous action lattices

zbMATH Keywords

undecidabilityKleene algebrafinite model propertyaction algebraaction lattices

Mathematics Subject Classification ID

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

Cited In (18)

• An infinitary sequent system for the equational theory of *-continuous action lattices
• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• Title not available (Why is that?)
• Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
• On the complexity of reasoning in Kleene algebra with commutativity conditions
• Type logics and pregroups
• Extensions of Lambek calculi
• Implicational Kleene algebra with domain and the substructural logic of partial correctness
• Infinitary action logic with exponentiation
• Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
• Equational theories for automata
• Infinitary action logic: complexity, models and grammars
• Kleene star, subexponentials without contraction, and infinite computations
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Infinitary action logic with multiplexing
• On the Complexity of the Equational Theory of Relational Action Algebras
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Complexity of the infinitary Lambek calculus with Kleene star

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3437263)