An infinitary sequent system for the equational theory of *-continuous action lattices
From MaRDI portal
Publication:3590769
zbMATH Open1123.03019MaRDI QIDQ3590769FDOQ3590769
Authors: Ewa Palka 
Publication date: 3 September 2007
Recommendations
Cut-elimination and normal-form theorems (03F05) Equational classes, universal algebra in model theory (03C05) Other infinitary logic (03C75)
Cited In (17)
- Title not available (Why is that?)
- On Action Logic: Equational Theories of Action Algebras
- Sequential theories and infinite distributivity in the lattice of chapters
- On the complexity of reasoning in Kleene algebra with commutativity conditions
- Relational Models for the Lambek Calculus with Intersection and Constants
- Relational models for the Lambek calculus with intersection and unit
- On the logic of expansion in natural language
- Implicational Kleene algebra with domain and the substructural logic of partial correctness
- Algorithmic complexity for theories of commutative Kleene algebras
- Infinitary action logic with exponentiation
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
- From double pushout grammars to hypergraph Lambek grammars with and without exponential modality
- 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
- Complexity of the infinitary Lambek calculus with Kleene star
This page was built for publication: An infinitary sequent system for the equational theory of *-continuous action lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3590769)
