Multiplicative conjunction and an algebraic meaning of contraction and weakening

DOI10.2307/2586715zbMath0916.03041OpenAlexW2045622150MaRDI QIDQ4227869

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

completenesssubstructural logicsoundnessmingle axiomvariable-sharing propertycontraction axiomelimination rule for multiplicative conjunctionintensional fragment of relevance logicmultiplicative fragment of Linear Logicmultiplicative substructural logicsstrong multiplicative structuresweakening axiom

Mathematics Subject Classification ID

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

Related Items (2)

What is relevance logic? ⋮ Semi-implication: A Chapter in Universal Logic

Cites Work

• Unnamed Item
• Linear logic
• Relevance and paraconsistency - a new approach. II: The formal systems
• The semantics and proof theory of linear logic
• Multiplicative Conjunction as an Extensional Conjunction
• Axiomatic System, Deduction and Implication
• On Entailment

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