Connectification for \(n\)-contraction
type: Item
instance of: scholarly article
title: Connectification for \(n\)-contraction
zbMATH Open document ID: 0823.03003
DOI: 10.1007/BF01063150
author: Andreja Prijatelj
published in: Studia Logica
publication date: 1995-10-31T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 761089
zbMATH Keywords: connectification operators
zbMATH Keywords: linear algebras
zbMATH Keywords: linear logic
zbMATH Keywords: \(n\)- contraction
zbMATH Keywords: disjunction property
zbMATH Keywords: affine linear logics
MaRDI profile type: Publication
cites work: Extending intuitionistic linear logic with knotted structural rules
cites work: The Lambek calculus enriched with additional connectives
cites work: Q3659781
cites work: On the Freyd cover of a topos
cites work: Q3310620
cites work: Elementary intuitionistic theories
cites work: Q4495851
cites work: Constructivism in mathematics. An introduction. Volume II
description: scientific article; zbMATH DE number 761089