Transcendental syntax I: deterministic case

DOI10.1017/S0960129515000407zbMATH Open1423.03248MaRDI QIDQ5269009FDOQ5269009

Authors: Jean-Yves Girard 

Publication date: 14 June 2017

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

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

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)

Cites Work

• Linear logic
• Title not available (Why is that?)
• Normativity in Logic
• Geometry of interaction. V: Logic in the hyperfinite factor
• The blind spot. Lectures on logic
• Title not available (Why is that?)
• The structure of multiplicatives
• Correctness of linear logic proof structures is NL-complete
• Logic Programming and Logarithmic Space

Cited In (4)

• A formalization of Kant's transcendental logic
• Zeta functions and the (linear) logic of Markov processes
• Interaction graphs: graphings
• The explosion calculus

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)