A modal restriction of R-Mingle with the variable-sharing property
Gemma Robles, José M. Méndez, Francisco Salto · Logic and Logical Philosophy · 2010
A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.