Linear logic model of state revisited

DOI10.1093/JIGPAL/JZU013MaRDI QIDQ4644612zbMATH OpenOpenAlexWikidataFDO

Authors Valeria de Paiva

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/d5a5d33dd965147c4a0f3fd6ee590634c7756205

zbMATH Keywords

categorical modelsintuitionistic linear logicmodels of stateproof theorysequentiality

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• scientific article; zbMATH DE number 2185654
• scientific article; zbMATH DE number 2079022
• Dialectica and Chu constructions: cousins?
• Relating categorical semantics for intuitionistic linear logic
• Dialectica categories for the Lambek calculus

Cited in

(2)

• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

This page was built for publication: Linear logic model of state revisited

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