scientific article; zbMATH DE number 1980939

zbMATH Open1023.03058MaRDI QIDQ4428313FDOQ4428313

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (13)

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

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)