A deep inference system for differential linear logic

DOI10.4204/EPTCS.353.2MaRDI QIDQ6657782FDOQ6657782

Authors: Matteo Acclavio, Giulio Guerrieri 

Publication date: 6 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Title not available (Why is that?)
• Linear logic
• Logical Approaches to Computational Barriers
• Differential interaction nets
• Uniformity and the Taylor expansion of ordinary lambda-terms
• The differential lambda-calculus
• Locus solum: From the rules of logic to the logic of rules.
• Intuitionistic differential nets and lambda-calculus
• Finiteness spaces
• The Separation Theorem for Differential Interaction Nets
• The conservation theorem for differential nets
• Interpreting a finitary pi-calculus in differential interaction nets
• A Local System for Classical Logic
• A system of interaction and structure
• MELL in the calculus of structures
• Title not available (Why is that?)
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Confluence of Pure Differential Nets with Promotion
• Title not available (Why is that?)
• Computing connected proof(-structure)s from their Taylor expansion
• A proof calculus which reduces syntactic bureaucracy
• Proof-net as graph, Taylor expansion as pullback
• The Cut-Elimination Theorem for Differential Nets with Promotion
• The true concurrency of differential interaction nets
• Realizability Proof for Normalization of Full Differential Linear Logic
• Logic beyond formulas: a proof system on graphs
• Subatomic proof systems: splittable systems
• Title not available (Why is that?)
• De Morgan dual nominal quantifiers modelling private names in non-commutative logic
• Glueability of resource proof-structures: inverting the Taylor expansion

This page was built for publication: A deep inference system for differential linear logic

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