scientific article
From MaRDI portal
Publication:3075441
zbMath1206.03052MaRDI QIDQ3075441
Publication date: 15 February 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monoidal categories2-categoriessequent calculuslinear logicproof theorysurvey papercut-eliminationgame semanticscategorical semanticssubformula propertycategories with structurecoherence diagrams
Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Models of Linear Logic based on the Schwartz $\varepsilon$-product, Linear Logic Properly Displayed, AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS, A micrological study of negation, Linear logic in normed cones: probabilistic coherence spaces and beyond, An introduction to differential linear logic: proof-nets, models and antiderivatives, An explicit formula for the free exponential modality of linear logic, Picturing classical and quantum Bayesian inference, Finitary Semantics of Linear Logic and Higher-Order Model-Checking, Linear Exponential Comonads without Symmetry, Multigames and strategies, coalgebraically, A Categorical Model for a Quantum Circuit Description Language (Extended Abstract), Hypernormalisation in an abstract setting, Category theory in Isabelle/HOL as a basis for meta-logical investigation, LNL polycategories and doctrines of linear logic, The Scott model of linear logic is the extensional collapse of its relational model, Coherent differentiation, A coherent differential PCF, A categorical model of predicate linear logic, Unnamed Item, Unnamed Item, On Banach spaces of sequences and free linear logic exponential modality, Unnamed Item, Unnamed Item, Unnamed Item, Weighted models for higher-order computation, The Free Exponential Modality of Probabilistic Coherence Spaces, Observed Communication Semantics for Classical Processes, Encodings of Turing machines in linear logic, Cofree coalgebras and differential linear logic, Convenient antiderivatives for differential linear categories, Quantum coherent spaces and linear logic, A linear/producer/consumer model of classical linear logic, On Sweedler's cofree cocommutative coalgebra., The shuffle quasimonad and modules with differentiation and integration, Unnamed Item, Unnamed Item, Monoidal-closed categories of tree automata, Jets and differential linear logic, Unnamed Item, Proof diagrams for multiplicative linear logic: syntax and semantics, N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
