scientific article

zbMath0675.03039MaRDI QIDQ3829551

V. C. V. de Paiva

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

categorical model for intuitionistic linear logiccategorical version of Gödel's ``Dialectica interpretation of higher- order arithmeticrelations on objects of a basic category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items

Multiple Conclusion Linear Logic: Cut Elimination and More, Natural number objects in Dialectica categories, Semantics of weakening and contraction, Accessible categories and models of linear logic, Dialectica logical principles, Glueing and orthogonality for models of linear logic, Chu spaces as a semantic bridge between linear logic and mathematics., Dialectica principles via Gödel doctrines, A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory, Categorification of Negative Information using Enrichment, Cornering Optics, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs, Weakly distributive categories, A game semantics for linear logic, Categorical relationships between Goguen sets and ``two-sided categorical models of linear logic, Unnamed Item, Proof theory in the abstract, Cartesian closed Dialectica categories, Monoidal-closed categories of tree automata, Dynamical systems and sheaves, Poset-valued sets or how to build models for linear logics, THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING, Full intuitionistic linear logic