A dialectica-like model of linear logic

DOI10.1007/BFB0018360MaRDI QIDQ5096268zbMATH OpenWikidataFDO

Authors Valeria de Paiva

Publication date 16 August 2022

Published in Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0018360

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Categorical aspects of linear logic (18M45)

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Bilinearity and Cartesian Closed Monads.
• Coalgebras and cartesian categories
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Locally cartesian closed categories and type theory
• Monads on symmetric monoidal closed categories
• On a hitherto unexploited extension of the finitary standpoint
• Seminar on triples and categorical homology theory ETH 1966/67
• The formal theory of monads
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(14)

• Full intuitionistic linear logic
• *-autonomous categories of bimodules
• Glueing and orthogonality for models of linear logic
• Chu spaces as a semantic bridge between linear logic and mathematics.
• Accessible categories and models of linear logic
• Many-one reductions and the category of multivalued functions
• A comparison between monoidal and substructural logics
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Holomorphic models of exponential types in linear logic
• Categorification of Negative Information using Enrichment
• Dialectica Petri nets
• is for Dialectica
• Linear realisability over nets: multiplicatives
• Functional interpretations of linear and intuitionistic logic

This page was built for publication: A dialectica-like model of linear logic

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