A dialectica-like model of linear logic

DOI10.1007/BFb0018360zbMath1496.03252WikidataQ56994625 ScholiaQ56994625MaRDI QIDQ5096268

V. C. V. de Paiva

Publication date: 16 August 2022

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

Mathematics Subject Classification ID

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

Related Items

Holomorphic models of exponential types in linear logic, AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS, \(*\)-autonomous categories of bimodules, Accessible categories and models of linear logic, A comparison between monoidal and substructural logics, Glueing and orthogonality for models of linear logic, Chu spaces as a semantic bridge between linear logic and mathematics., Categorification of Negative Information using Enrichment, Many-one reductions and the category of multivalued functions, Functional interpretations of linear and intuitionistic logic, Full intuitionistic linear logic

Cites Work

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