Exploring the gap between linear and classical logic

MaRDI QIDQ5423981zbMATH OpenFDO

Authors François Lamarche

Publication date 1 November 2007

Full work available at URL https://eudml.org/doc/128426, http://www.emis.de/journals/TAC/volumes/18/17/18-17abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

linear logicdenotational semanticsclassical logic\(*\)-autonomous categoriesdeep inferencemedial rule

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• Axioms and models of linear logic
• scientific article; zbMATH DE number 1231527
• scientific article; zbMATH DE number 1086632
• The semantics and proof theory of linear logic
• scientific article; zbMATH DE number 786485

Cited in

(8)

• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• Extension without cut
• On linear rewriting systems for Boolean logic and some applications to proof theory
• Intermutation
• A Characterization of Medial as Rewriting Rule
• Understanding the small object argument
• Understanding the small object argument
• Deep inference and probabilistic coherence spaces

Describes a project that uses

Uses Software

• HOPLA

This page was built for publication: Exploring the gap between linear and classical logic

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