Connectification for \(n\)-contraction

DOI10.1007/BF01063150zbMath0823.03003MaRDI QIDQ1891929

Andreja Prijatelj

Publication date: 31 October 1995

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

linear logicdisjunction propertylinear algebras\(n\)- contractionaffine linear logicsconnectification operators

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Free algebras corresponding to multiplicative classical linear logic and some of its extensions ⋮ Free ordered algebraic structures towards proof theory ⋮ Uninorm logic with the \(n\)-potency axiom

Cites Work

• On the Freyd cover of a topos
• Constructivism in mathematics. An introduction. Volume II
• The Lambek calculus enriched with additional connectives
• Extending intuitionistic linear logic with knotted structural rules
• Elementary intuitionistic theories
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Connectification for \(n\)-contraction