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

Publication date 3 September 2007

action lattices cut-elimination infinitary logic

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

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

(27)

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

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)