A micrological study of negation
type: Item
instance of: scholarly article
title: A micrological study of negation
zbMATH Open document ID: 1454.03082
published in: Annals of Pure and Applied Logic
publication date: 2016-12-02T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 18M05
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 6659113
zbMATH Keywords: linear logic
zbMATH Keywords: tensorial logic
zbMATH Keywords: dialogue games
zbMATH Keywords: dialogue categories
zbMATH Keywords: linearly distributive categories
zbMATH Keywords: chiralities
MaRDI profile type: Publication
full work available at URL: j.apal.2016.10.008
OpenAlex ID: W2558742213
cites work: Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
cites work: Nonsymmetric \(^{\ast}\)-autonomous categories
cites work: Natural deduction and coherence for weakly distributive categories
cites work: Weakly distributive categories
cites work: Q3552041
cites work: Linear logic
cites work: A new constructive logic: classic logic
cites work: Q4842966
cites work: Q4100671
cites work: Q3075441
cites work: Dialogue categories and chiralities
cites work: The parametric continuation monad
cites work: The formal theory of monads
cites work: Quantales and (noncommutative) linear logic
DOI: 10.1016/J.APAL.2016.10.008
author: Paul-André Melliès
description: scientific article; zbMATH DE number 6659113