An analysis of (linear) exponentials based on extended sequents

DOI10.1093/JIGPAL/6.5.735MaRDI QIDQ4221772zbMATH OpenOpenAlexFDO

Authors Simone Martini, Stefano Guerrini, Andrea Masini

Publication date 6 April 2000

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

Full work available at URL https://repository.upenn.edu/cgi/viewcontent.cgi?article=1086&context=ircs_reports

zbMATH Keywords

2-sequentselementary cut-eliminationelementary linear logiclight linear logiclinear logicpolynomial cut-eliminationsequent calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Light linear logic
• scientific article; zbMATH DE number 1231531
• Decision problems for propositional linear logic
• Light linear logics with controlled weakening: expressibility, confluent strong normalization

Cited in

(16)

• Linear logic by levels and bounded time complexity
• Light linear logic
• A proof-theoretic investigation of a logic of positions
• An approach to infinitary temporal proof theory
• A fresh view of linear logic as a logical framework
• An abstract approach to stratification in linear logic
• A By-Level Analysis of Multiplicative Exponential Linear Logic
• Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• Temporal Gödel-Gentzen and Girard translations
• A linear logic framework for multimodal logics
• Natural deduction calculi for classical and intuitionistic S5
• Cut Elimination for Extended Sequent Calculi
• Universal proof theory: semi-analytic rules and Craig interpolation
• Nested sequents or tree-hypersequents -- a survey

This page was built for publication: An analysis of (linear) exponentials based on extended sequents

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