A weak logic with the axiom Mingle lacking the variable-sharing property
Gemma Robles, Francisco Salto, José M. Méndez · 2011
As it is well known, Relevance Logic R plus the axiom mingle (R-Mingle) does not have the variable-sharing property (vsp). The aim of this paper is to improve this result by dening a weak logic with the axiom mingle and not included in minimal logic BM lacking the vsp.