Meeting strength in substructural logics
type: Item
instance of: scholarly article
title: Meeting strength in substructural logics
zbMATH Open document ID: 0813.03036
DOI: 10.1007/BF01058530
author: Yde Venema
published in: Studia Logica
publication date: 1995-02-22T00:00:00Z
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 724127
zbMATH Keywords: hybrid substructural logics
zbMATH Keywords: Gentzen-style proof theory
zbMATH Keywords: semantics
zbMATH Keywords: cut- elimination
MaRDI profile type: Publication
cites work: Language in action
cites work: Completeness Results for Lambek Syntactic Calculus
cites work: Sequent-systems and groupoid models. I
cites work: Modal logic as metalogic
cites work: Modal translations in substructural logics
cites work: Q4342081
cites work: Q3739107
cites work: Linear logic
cites work: Q3846669
cites work: The Lambek calculus enriched with additional connectives
cites work: The logic of information structures
cites work: Quantales and (noncommutative) linear logic
full work available at URL: https://doi.org/10.1007/bf01058530
OpenAlex ID: W122858738
description: scientific article; zbMATH DE number 724127