scientific article; zbMATH DE number 1841813

zbMATH Open0999.03054MaRDI QIDQ4783301FDOQ4783301

Authors: Alessio Guglielmi, Lutz Straßburger 

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420054

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

Recommendations

• scientific article; zbMATH DE number 1980929
• MELL in the calculus of structures
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• A system of interaction and structure
• scientific article; zbMATH DE number 1138593

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (33)

• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Deep inference and expansion trees for second-order multiplicative linear logic
• On the decision problem for MELL
• System NEL is undecidable
• Extension without cut
• Cut elimination inside a deep inference system for classical predicate logic
• The calculus of multivectors on noncommutative jet spaces
• On the Power of Substitution in the Calculus of Structures
• Pomset Logic
• On linear rewriting systems for Boolean logic and some applications to proof theory
• A deep inference system for the modal logic S5
• Computer Science Logic
• Reducing Nondeterminism in the Calculus of Structures
• A logical calculus for controlled monotonicity
• Non-crossing Tree Realizations of Ordered Degree Sequences
• From truth to computability. I.
• On linear logic planning and concurrency
• A deep inference system for differential linear logic
• Exponentially handsome proof nets and their normalization
• Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces
• Deep sequent systems for modal logic
• Sufficient conditions for cut elimination with complexity analysis
• Title not available (Why is that?)
• A Subatomic Proof System for Decision Trees
• A propositional cirquent calculus for computability logic.
• Constructing weak simulations from linear implications for processes with private names
• MELL in the calculus of structures
• Non-associative, non-commutative multi-modal linear logic
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
• An Analytic Propositional Proof System on Graphs
• Combinatorial flows as bicolored atomic flows
• Termination orders for three-dimensional rewriting

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 Q4783301)