Transcendental syntax I: deterministic case

DOI10.1017/S0960129515000407MaRDI QIDQ5269009zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 14 June 2017

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

Full work available at URL https://doi.org/10.1017/S0960129515000407

Mathematics Subject Classification ID

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

Recommendations

• Transcendental syntax iv: logic without systems
• Deterministic grammars and grammar morphisms
• scientific article; zbMATH DE number 3846897
• The syntax and semantics of infinitary languages
• Syntactic translations and provably recursive functions
• Abstract grammars based on transductions
• A Formal Syntax of Natural Languages and the Deductive Grammar
• Syntax for semantics: Krull's maximal ideal theorem
• scientific article; zbMATH DE number 3858450
• Undecidable properties of syntactic theories

Cites work

• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 786500 (Why is no real title available?)
• Correctness of linear logic proof structures is NL-complete
• Geometry of interaction. V: Logic in the hyperfinite factor
• Linear logic
• Logic programming and logarithmic space
• Normativity in logic
• The blind spot. Lectures on logic
• The structure of multiplicatives

Cited in

(6)

• A formalization of Kant's transcendental logic
• Zeta functions and the (linear) logic of Markov processes
• Interaction graphs: graphings
• The explosion calculus
• Two views on unification: terms as strategies
• Logic programming with multiplicative structures

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

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