Multiplicative conjunction and an algebraic meaning of contraction and weakening

DOI10.2307/2586715zbMATH Open0916.03041OpenAlexW2045622150MaRDI QIDQ4227869FDOQ4227869

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

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

zbMATH Keywords

substructural logiccompletenesssoundnessmingle 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)

Cites Work

• The semantics and proof theory of linear logic
• Title not available (Why is that?)
• Linear logic
• Multiplicative Conjunction as an Extensional Conjunction
• Relevance and paraconsistency - a new approach. II: The formal systems
• On Entailment
• Axiomatic System, Deduction and Implication

Cited In (6)

• What is relevance logic?
• Semantics of weakening and contraction
• Connectification for \(n\)-contraction
• Investigations into a left-structural right-substructural sequent calculus
• 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)