1. Ternary deductive terms in residuated structures;Aglianò;Acta Sci. Math. (Szeged),1998
2. Entailment: The Logic of Relevance and Necessity, Volume 1;Anderson,1975
3. Entailment: The Logic of Relevance and Necessity, Volume 2;Anderson,1992
4. On an implication connective of RM;Avron;Notre Dame J. Form. Log.,1986
5. The semantics and proof theory of linear logic;Avron;Theor. Comput. Sci.,1988