Infinitary action logic with exponentiation
From MaRDI portal
Publication:2067638
DOI10.1016/j.apal.2021.103057OpenAlexW3209215387MaRDI QIDQ2067638
Stepan Kuznetsov, Stanislav O. Speranski
Publication date: 18 January 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2001.06863
Undecidability and degrees of sets of sentences (03D35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Other infinitary logic (03C75)
Related Items (3)
Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Infinitary action logic with multiplexing
Cites Work
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Linear logic
- Elementary induction on abstract structures
- The Lambek calculus enriched with additional connectives
- A logical framework with commutative and non-commutative subexponentials
- Soft subexponentials and multiplexing
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
- The complexity of multiplicative-additive Lambek calculus: 25 years later
- Lambek calculus is NP-complete
- On the complexity of reasoning in Kleene algebra
- The Mathematics of Sentence Structure
- On Action Logic: Equational Theories of Action Algebras
- Logics without the contraction rule
- Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities
- Subexponentials in non-commutative linear logic
- Recursion-Theoretic Hierarchies
- Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Infinitary action logic with exponentiation