Multiplicative conjunction and an algebraic meaning of contraction and weakening

DOI10.2307/2586715MaRDI QIDQ4227869zbMATH OpenOpenAlexFDO

Authors Arnon Avron

Publication date 15 July 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2586715

zbMATH Keywords

completenesscontraction axiomelimination rule for multiplicative conjunctionintensional fragment of relevance logicmingle axiommultiplicative fragment of Linear Logicmultiplicative substructural logicssoundnessstrong multiplicative structuressubstructural logicvariable-sharing propertyweakening axiom

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Metamathematics of constructive systems (03F50)

Recommendations

• Multiplicative Conjunction as an Extensional Conjunction
• Logics without the contraction rule
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• Semantics of weakening and contraction

Cites work

• Axiomatic System, Deduction and Implication
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• Linear logic
• Multiplicative Conjunction as an Extensional Conjunction
• On Entailment
• Relevance and paraconsistency - a new approach. II: The formal systems
• The semantics and proof theory of linear logic

Cited in

(7)

• Investigations into a left-structural right-substructural sequent calculus
• Semantics of weakening and contraction
• Connectification for n-contraction
• Multiplicative Conjunction as an Extensional Conjunction
• What is relevance logic?
• Semi-implication: a chapter in universal logic
• A minimal classical sequent calculus free of structural rules

This page was built for publication: Multiplicative conjunction and an algebraic meaning of contraction and weakening

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227869)