A micrological study of negation

DOI10.1016/J.APAL.2016.10.008zbMath1454.03082OpenAlexW2558742213MaRDI QIDQ345707

Paul-André Melliès

Publication date: 2 December 2016

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

Full work available at URL: https://doi.org/10.1016/j.apal.2016.10.008

zbMATH Keywords

linear logicdialogue gameschiralitiesdialogue categorieslinearly distributive categoriestensorial logic

Mathematics Subject Classification ID

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) Monoidal categories, symmetric monoidal categories (18M05)

Related Items (1)

Structuring co-constructive logic for proofs and refutations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dialogue categories and chiralities
• Linear logic
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Weakly distributive categories
• Natural deduction and coherence for weakly distributive categories
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• The formal theory of monads
• Quantales and (noncommutative) linear logic
• A new constructive logic: classic logic
• The parametric continuation monad

This page was built for publication: A micrological study of negation