scientific article; zbMATH DE number 1980939

MaRDI QIDQ4428313zbMATHFDO

Authors Lutz Straßburger

Publication date 15 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2514/25140388.htm

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A Local System for Classical Logic
• Local computation in linear logic
• A Local System for Intuitionistic Logic
• A Hoare logic for linear systems
• scientific article; zbMATH DE number 522843
• A syntax for linear logic
• scientific article; zbMATH DE number 1916675
• Linear logic as a logic of computations
• Local possibilistic logic
• scientific article; zbMATH DE number 2134914

Cited in

(13)

• A Local System for Intuitionistic Logic
• A deep inference system for the modal logic S5
• scientific article; zbMATH DE number 7559289 (Why is no real title available?)
• A fresh view of linear logic as a logical framework
• From QBFs to \textsf{MALL} and back via focussing
• A Local System for Classical Logic
• An Analytic Propositional Proof System on Graphs
• Local computation in linear logic
• Enumerating Independent Linear Inferences
• A logical basis for quantum evolution and entanglement
• MELL in the calculus of structures
• A locality principle for system theory.
• scientific article; zbMATH DE number 522843 (Why is no real title available?)

This page was built for publication:

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