\(\bigstar\)-autonomous lattices
type: Item
instance of: scholarly article
title: \(\bigstar\)-autonomous lattices
zbMATH Open document ID: 1067.03066
author: Francesco Paoli
published in: Studia Logica
publication date: 2005-06-14T00:00:00Z
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 06F15
zbMATH DE Number: 2175880
zbMATH Keywords: lattice-ordered group
zbMATH Keywords: linear logic
zbMATH Keywords: residuated lattice
zbMATH Keywords: \(\bigstar\)-autonomous lattice
zbMATH Keywords: substructural logics
MaRDI profile type: Publication
full work available at URL: s11225-005-2979-y
OpenAlex ID: W4243241284
cites work: Q4893735
cites work: Q4039742
cites work: The semantics and proof theory of linear logic
cites work: Some Properties of Linear Logic Proved by Semantic Methods
cites work: On the structure of varieties with equationally definable principal congruences. III
cites work: THE STRUCTURE OF RESIDUATED LATTICES
cites work: Q3475268
cites work: Algebraic Analysis of Many Valued Logics
cites work: TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
cites work: Minimal varieties of residuated lattices
cites work: Linear logic
cites work: PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
cites work: Q3218120
cites work: Q5693612
cites work: On the algebraic structure of linear, relevance, and fuzzy logics
cites work: Substructural logics: a primer
cites work: A really fuzzy approach to the sorites paradox
cites work: Q3996704
cites work: Q4022820
cites work: Quantales and (noncommutative) linear logic
DOI: 10.1007/S11225-005-2979-Y
description: scientific article; zbMATH DE number 2175880