On Action Logic: Equational Theories of Action Algebras

DOI10.1093/LOGCOM/EXL036MaRDI QIDQ3437263zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(18)

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

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)