scientific article; zbMATH DE number 517045

zbMATH Open0795.18008MaRDI QIDQ4282573FDOQ4282573

Authors: Richard Blute 

Publication date: 4 September 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

proof netsmultiplicative linear logicclosed categoriescoherence theoremsautonomous categoriesautonomous deductive systemincompatibility of graphsshort trip

Mathematics Subject Classification ID

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

Cited In (18)

• Coherence in linear predicate logic
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Title not available (Why is that?)
• Linear Läuchli semantics
• Coherence of proof-net categories
• Title not available (Why is that?)
• Proof Nets for Classical Logic
• Proof-net categories
• Title not available (Why is that?)
• Proof nets, coends and the Yoneda isomorphism
• Coherence for star-autonomous categories
• Proof by computation in the Coq system
• \(\ast\)-autonomous envelopes and conservativity
• A proof of the focusing theorem via MALL proof nets
• Natural deduction and coherence for weakly distributive categories
• Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern)
• Linear logic, coherence and dinaturality
• On the proof theory of Coquand's calculus of constructions

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)