A micrological study of negation

DOI10.1016/J.APAL.2016.10.008MaRDI QIDQ345707zbMATHOpenAlexFDO

Authors 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 logicchiralitiesdialogue categoriesdialogue gameslinearly distributive categoriestensorial logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15) Monoidal categories, symmetric monoidal categories (18M05)

Recommendations

• Resource modalities in tensor logic
• Ribbon tensorial logic
• A game semantics for linear logic
• On dialogue games and coherent strategies
• Game Semantics in String Diagrams

Cites work

• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• A new constructive logic: classic logic
• Categorical semantics of linear logic
• Dialogue categories and chiralities
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Linear logic
• Natural deduction and coherence for weakly distributive categories
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Quantales and (noncommutative) linear logic
• The Frobenius relations meet linear distributivity
• The formal theory of monads
• The parametric continuation monad
• Weakly distributive categories

Cited in

(3)

• Ribbon tensorial logic
• Resource modalities in tensor logic
• Structuring co-constructive logic for proofs and refutations

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

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