Substructural logics on display

DOI10.1093/JIGPAL/6.3.451MaRDI QIDQ4392660zbMATH OpenOpenAlexFDO

Authors Rajeev Goré

Publication date 8 June 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4d5ecba9364c1bb48310bd181b56de8b7546f7b3

zbMATH Keywords

linear logicsubstructural logicscut-eliminationdisplay characterizations

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited in

(26)

• Current trends in substructural logics
• Symmetric categorial grammar
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Continuation semantics for the Lambek-Grishin calculus
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• Prawitz, Proofs, and Meaning
• Bilattice logic properly displayed
• Multiplicative linear logics and fibrations
• Lambek-Grishin calculus: focusing, display and full polarization
• Hypersequent and display calculi -- a unified perspective
• Optionality, scope, and licensing: An application of partially ordered categories
• Deep Inference in Bi-intuitionistic Logic
• An expressivist strategy to understand logical forms
• On the universality of atomic and molecular logics via protologics
• Power and limits of structural display rules
• Craig interpolation in displayable logics
• Linear Logic Properly Displayed
• Galois connections in categorial type logic
• Internal and external calculi: ordering the jungle without being lost in translations
• Algebraic proof theory for LE-logics
• A van Benthem theorem for atomic and molecular logics
• Monoidal logics: completeness and classical systems
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
• Disentangling structural connectives or life without display property
• A comparison between monoidal and substructural logics

This page was built for publication: Substructural logics on display

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4392660)