scientific article; zbMATH DE number 7439426
From MaRDI portal
Publication:5015208
zbMath1486.03103arXiv1502.04769MaRDI QIDQ5015208
Publication date: 6 December 2021
Full work available at URL: https://arxiv.org/abs/1502.04769
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Undecidability and degrees of sets of sentences (03D35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
On the decision problem for MELL, Expressing additives using multiplicatives and subexponentials, Non-associative, non-commutative multi-modal linear logic
Cites Work
- Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
- A logical characterization of forward and backward chaining in the inverse method
- Focusing and polarization in linear, intuitionistic, and classical logics
- Decision problems for propositional linear logic
- A General Proof System for Modalities in Concurrent Constraint Programming
- Structural Focalization
- On the Complexity of Linear Authorization Logics
- Classical and Intuitionistic Subexponential Logics Are Equally Expressive
- From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
- Logic Programming with Focusing Proofs in Linear Logic
- Specifying Proof Systems in Linear Logic with Subexponentials
