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
- Title not available (Why is that?)
- Relational models for the Lambek calculus with intersection and unit
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
- 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
- Infinitary action logic: complexity, models and grammars
- On the Logic of Expansion in Natural Language
- 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
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)
