Substructural logics with mingle
type: Item
instance of: scholarly article
title: Substructural logics with mingle
zbMATH Open document ID: 1003.03019
DOI: 10.1023/A:1017586008091
author: Norihiro Kamide
published in: Journal of Logic, Language and Information
publication date: 2002-08-20T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1784300
zbMATH Keywords: substructural logics
zbMATH Keywords: Lambek calculus
zbMATH Keywords: decidability
zbMATH Keywords: interpolability
zbMATH Keywords: variable sharing
zbMATH Keywords: sequent calculi
zbMATH Keywords: mingle
zbMATH Keywords: cut-elimination
zbMATH Keywords: linear logic
MaRDI profile type: Publication
full work available at URL: a:1017586008091
OpenAlex ID: W1572108241
Recommended article: Substructural logics: a primer
Recommended article: Synthesized substructural logics
Recommended article: Q4805593
Recommended article: Relevance Principle for Substructural Logics with Mingle and Strong Negation
Recommended article: Combinatory logic and the semantics of substructural logics
Recommended article: Q5144357
Recommended article: Q4940727
Recommended article: SUBSTRUCTURAL INQUISITIVE LOGICS
Recommended article: Substructural Logics in Natural Deduction
Recommended article: Substructural propositional dynamic logics
description: scientific article; zbMATH DE number 1784300