Transcendental syntax I: deterministic case

DOI10.1017/S0960129515000407zbMath1423.03248MaRDI QIDQ5269009

Jean-Yves Girard

Publication date: 14 June 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Interaction graphs: graphings ⋮ The explosion calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Geometry of interaction. V: Logic in the hyperfinite factor
• Correctness of linear logic proof structures is NL-complete
• Linear logic
• The structure of multiplicatives
• Logic Programming and Logarithmic Space
• The Blind Spot
• Normativity in Logic

This page was built for publication: Transcendental syntax I: deterministic case