Quantized linear logic, involutive quantales and strong negation
type: Item
instance of: scholarly article
title: Quantized linear logic, involutive quantales and strong negation
zbMATH Open document ID: 1068.03052
author: Norihiro Kamide
published in: Studia Logica
publication date: 2005-04-07T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 06F07
zbMATH DE Number: 2153430
zbMATH Keywords: involutive quantales
zbMATH Keywords: linear logic
zbMATH Keywords: quantization principle
zbMATH Keywords: strong negation
MaRDI profile type: Publication
DOI: 10.1023/B:STUD.0000039030.03885.7C
description: scientific article; zbMATH DE number 2153430