Infinitary action logic with exponentiation

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

zbMATH Keywords

complexityclosure ordinalinfinitary action logicsubexponential modalitieslambek calculus

Mathematics Subject Classification ID

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