Dialogue categories and chiralities
From MaRDI portal
Publication:502131
DOI10.4171/PRIMS/185zbMath1402.18008OpenAlexW2558471714MaRDI QIDQ502131
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
linear logicclassical logicgame semanticstensorial logicCartesian closed categories and chiralitiescategories and chiralitiesdialogue categories and chiralitieslogical polarities
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
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
