Substructural logics on display
From MaRDI portal
Publication:4392660
DOI10.1093/jigpal/6.3.451zbMath0906.03020OpenAlexW2092847864MaRDI QIDQ4392660
Publication date: 8 June 1998
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/4d5ecba9364c1bb48310bd181b56de8b7546f7b3
Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Current trends in substructural logics, Power and Limits of Structural Display Rules, Linear Logic Properly Displayed, Symmetric categorial grammar, On the universality of atomic and molecular logics via protologics, Non-normal modal logics and conditional logics: semantic analysis and proof theory, A comparison between monoidal and substructural logics, Disentangling structural connectives or life without display property, Monoidal logics: completeness and classical systems, Craig Interpolation in Displayable Logics, Continuation semantics for the Lambek-Grishin calculus, Galois Connections in Categorial Type Logic, Hypersequent and display calculi -- a unified perspective, POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information, Prawitz, Proofs, and Meaning, Deep Inference in Bi-intuitionistic Logic, Optionality, scope, and licensing: An application of partially ordered categories, Multiplicative Linear Logics and Fibrations
