scientific article; zbMATH DE number 786489
From MaRDI portal
Publication:4842970
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)
Recommendations
- The decidability of the intensional fragment of classical linear logic
- Decision problems for propositional linear logic
- Decidability of linear affine logic
- The undecidability theorem for the Horn-like fragment of linear logic (revisited)
- The finite model property for various fragments of linear logic
Cited in
(20)- Constant-only multiplicative linear logic is NP-complete
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Lambek calculus is NP-complete
- The decidability of the intensional fragment of classical linear logic
- Enforcing availability in failure-aware communicating systems
- Which Logic for the Radical Anti-realist?
- Structural analysis of narratives with the Coq proof assistant
- Disentangling notions of specifier impenetrability: late adjunction, islands, and expressive power
- scientific article; zbMATH DE number 408788 (Why is no real title available?)
- scientific article; zbMATH DE number 1420859 (Why is no real title available?)
- scientific article; zbMATH DE number 7455712 (Why is no real title available?)
- Stoic Sequent Logic and Proof Theory
- Correctness of linear logic proof structures is NL-complete
- Extended Lambek calculi and first-order linear logic
- Disjunction property and complexity of substructural logics
- Parsing MELL proof nets
- Determination of the class of validity of logical formulas by directed exhaustive search
- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Skolemisation for intuitionistic linear logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842970)
