A micrological study of negation

DOI10.1016/J.APAL.2016.10.008zbMATH Open1454.03082OpenAlexW2558742213MaRDI QIDQ345707FDOQ345707

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

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

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)

Cites Work

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

Cited In (3)

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

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)