Dialogue categories and chiralities

DOI10.4171/PRIMS/185zbMath1402.18008OpenAlexW2558471714MaRDI QIDQ502131

Paul-André Melliès

Publication date: 30 December 2016

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4171/prims/185

zbMATH Keywords

linear logicclassical logicgame semanticstensorial logicCartesian closed categories and chiralitiescategories and chiralitiesdialogue categories and chiralitieslogical polarities

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)

Related Items (4)

Bifibrations of polycategories and classical linear logic ⋮ A micrological study of negation ⋮ Homologies of algebraic structures via braidings and quantum shuffles ⋮ Ambiguous representations of semilattices, imperfect information, and predicate transformers

This page was built for publication: Dialogue categories and chiralities