scientific article; zbMATH DE number 1980939

MaRDI QIDQ4428313zbMATH OpenFDO

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

(15)

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

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)