*-continuity vs. induction: divide and conquer

zbMATH Open1418.03111MaRDI QIDQ5224583FDOQ5224583

Authors: Stepan Kuznetsov 

Publication date: 24 July 2019

Recommendations

• \(^*\)-continuous Kleene \(\omega \)-algebras
• On the complexity of reasoning in Kleene algebra
• scientific article; zbMATH DE number 4210141
• Inductive \(^{*}\)-semirings
• scientific article; zbMATH DE number 1113856

zbMATH Keywords

relational algebraaction logicKleene staralgebra of formal languagesinfinitary action logic*-continuityresiduated Kleene lattice

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Cited In (6)

• \(^*\)-continuous Kleene \(\omega \)-algebras
• Relational Models for the Lambek Calculus with Intersection and Constants
• On tools for completeness of Kleene algebra with hypotheses
• Relational models for the Lambek calculus with intersection and unit
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Complexity of the infinitary Lambek calculus with Kleene star

This page was built for publication:

• -continuity vs. induction: divide and conquer

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