An Avron rule for fragments of R-mingle

DOI10.1093/LOGCOM/EXT031MaRDI QIDQ2804334zbMATH OpenOpenAlexFDO

Authors George Metcalfe

Publication date 28 April 2016

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://boris.unibe.ch/78887/1/MetAvronFinalA2012.pdf

zbMATH Keywords

substructural logicstructural completenessadmissible rulefree algebraR-mingle

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Fragments of R-mingle
• On two open questions concerning the implicational fragment of R-mingle
• An explicit formula for fusion rules
• Fragmentability and σ-fragmentability
• A generalization of the Avram-Parter theorem
• A proof of the fusion rules theorem
• A modal restriction of R-mingle with the variable-sharing property
• The Lindelöf property and fragmentability
• Merging in the Horn fragment
• A general method of axiomatizing fragments

Cited in

(7)

• Almost structural completeness; an algebraic approach
• On two open questions concerning the implicational fragment of R-mingle
• Fragments of R-mingle
• Sugihara algebras and Sugihara monoids: Multisorted dualities
• Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
• Checking admissibility using natural dualities
• Sugihara algebras: admissibility algebras via the test spaces method

This page was built for publication: An Avron rule for fragments of R-mingle

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