An infinitary sequent system for the equational theory of *-continuous action lattices

Publication date 3 September 2007

cut-elimination infinitary logic action lattices

Cut-elimination and normal-form theorems (03F05) Equational classes, universal algebra in model theory (03C05) Other infinitary logic (03C75)

Recommendations

Infinitary action logic: complexity, models and grammars
On Action Logic: Equational Theories of Action Algebras
On the Complexity of the Equational Theory of Relational Action Algebras
scientific article; zbMATH DE number 549971
Equational theory of continuous lattices

Cited in

(24)

Comparing infinitary systems for linear logic with fixed points
scientific article; zbMATH DE number 7533344 (Why is no real title available?)
On Action Logic: Equational Theories of Action Algebras
Sequential theories and infinite distributivity in the lattice of chapters
Closure ordinal of immediate derivability operator of infinitary action logic
On the complexity of reasoning in Kleene algebra with commutativity conditions
Relational Models for the Lambek Calculus with Intersection and Constants
A proof theory of ( -)context-free languages, via non-wellfounded proofs
Syntactic concept lattice models for infinitary action logic
Relational models for the Lambek calculus with intersection and unit
On syntactic concept lattice models for the Lambek calculus and infinitary action logic
On the logic of expansion in natural language
Algorithmic complexity for theories of commutative Kleene algebras
Implicational Kleene algebra with domain and the substructural logic of partial correctness
Infinitary action logic with exponentiation
Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
Algorithmic complexity of theories with Kleene iteration
Hyperarithmetical complexity of infinitary action logic with multiplexing
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)