scientific article; zbMATH DE number 517045

MaRDI QIDQ4282573zbMATH OpenFDO

Authors Richard Blute

Publication date 4 September 1994

zbMATH Keywords

autonomous categoriesautonomous deductive systemclosed categoriescoherence theoremsincompatibility of graphsmultiplicative linear logicproof netsshort trip

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Foundations, relations to logic and deductive systems (18A15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Coherence of proof-net categories
• Proof-net categories
• Linear logic, coherence and dinaturality
• Natural deduction and coherence for weakly distributive categories
• Computer Science Logic

Cited in

(20)

• Coherence in linear predicate logic
• Natural deduction and coherence for weakly distributive categories
• Linear Läuchli semantics
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Coherence for star-autonomous categories
• Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern)
• scientific article; zbMATH DE number 1285157 (Why is no real title available?)
• Proof Nets for Classical Logic
• scientific article; zbMATH DE number 1373514 (Why is no real title available?)
• Coherence of proof-net categories
• Proof nets, coends and the Yoneda isomorphism
• Coherence for Frobenius pseudomonoids and the geometry of linear proofs
• Proof-net categories
• scientific article; zbMATH DE number 6296859 (Why is no real title available?)
• scientific article; zbMATH DE number 5033883 (Why is no real title available?)
• Proof by computation in the Coq system
• On the proof theory of Coquand's calculus of constructions
• A proof of the focusing theorem via MALL proof nets
• -autonomous envelopes and conservativity
• Linear logic, coherence and dinaturality

This page was built for publication:

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