Linear logic model of state revisited

DOI10.1093/JIGPAL/JZU013zbMath1407.03076OpenAlexW2040812916WikidataQ56994486 ScholiaQ56994486MaRDI QIDQ4644612

V. C. V. de Paiva

Publication date: 8 January 2019

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

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

zbMATH Keywords

proof theorycategorical modelssequentialityintuitionistic linear logicmodels of state

Mathematics Subject Classification ID

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

Related Items (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