Proof nets for the multimodal Lambek calculus
type: Item
instance of: scholarly article
title: Proof nets for the multimodal Lambek calculus
zbMATH Open document ID: 1013.03016
DOI: 10.1023/A:1020525032763
author: Richard Moot
author: Quintijn Puite
published in: Studia Logica
publication date: 2002-12-15T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 1845370
zbMATH Keywords: linear logic
zbMATH Keywords: proof theory
zbMATH Keywords: proof nets
zbMATH Keywords: multimodal Lambek calculus
zbMATH Keywords: cut elimination
zbMATH Keywords: correctness
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1845370