scientific article
From MaRDI portal
Publication:3829551
zbMath0675.03039MaRDI QIDQ3829551
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
categorical model for intuitionistic linear logiccategorical version of Gödel's ``Dialectica interpretation of higher- order arithmeticrelations on objects of a basic category
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 (24)
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
This page was built for publication: