Ticket Entailment plus the mingle axiom has the variable-sharing property
José M. Méndez, Gemma Robles, Francisco Salto · Logic Journal of IGPL · 2011
The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property (vsp). Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.