Coherence in linear predicate logic

DOI10.1016/j.apal.2008.10.003zbMath1168.03046arXiv0709.1421OpenAlexW1978035477MaRDI QIDQ1011758

Zoran Petrić, Kosta Došen

Publication date: 9 April 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0709.1421

zbMATH Keywords

coherencecut eliminationclassical linear logiclinear predicate logicproof-net category

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

Obituary: Kosta Došen (1954--2017) ⋮ Coherence for modalities ⋮ Inferential Semantics

Cites Work

• Linear logic
• Weakly distributive categories
• Categorical logic and type theory
• On the semantics of the universal quantifier
• Cut elimination in categories
• Untersuchungen über das logische Schliessen. I
• Coherence in closed categories
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Predicate functors revisited
• Adjointness in Foundations
• Knots
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coherence in linear predicate logic