*-continuity vs. induction: divide and conquer

MaRDI QIDQ5224583zbMATH OpenFDO

Authors Stepan Kuznetsov

Publication date 24 July 2019

zbMATH Keywords

*-continuityaction logicalgebra of formal languagesinfinitary action logicKleene starrelational algebraresiduated Kleene lattice

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(9)

• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Relational models for the Lambek calculus with intersection and unit
• ^*-continuous Kleene -algebras
• Complexity of the infinitary Lambek calculus with Kleene star
• Relational Models for the Lambek Calculus with Intersection and Constants
• On tools for completeness of Kleene algebra with hypotheses
• Syntactic concept lattice models for infinitary action logic
• Algorithmic complexity of theories with Kleene iteration
• Complexity of equational theories for relational and language action lattices

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)