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

cut-eliminationdisplay characterizationslinear logicsubstructural logics

Mathematics Subject Classification ID

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

Cited in

(26)

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

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)