An analysis of (linear) exponentials based on extended sequents

DOI10.1093/jigpal/6.5.735zbMath0934.03077OpenAlexW2148358839MaRDI QIDQ4221772

Simone Martini, Stefano Guerrini, Andrea Masini

Publication date: 6 April 2000

Published in: Logic Journal of 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

sequent calculuslinear logicelementary linear logiclight linear logic2-sequentselementary cut-eliminationpolynomial cut-elimination

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)

Related Items (9)

A linear logic framework for multimodal logics ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Cut Elimination for Extended Sequent Calculi ⋮ A proof-theoretic investigation of a logic of positions ⋮ A fresh view of linear logic as a logical framework ⋮ Temporal Gödel‐Gentzen and Girard translations ⋮ An approach to infinitary temporal proof theory ⋮ Linear logic by levels and bounded time complexity ⋮ An abstract approach to stratification in linear logic

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