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.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.