1. Kripke models for linear logic;Allwein;J. Symbolic Logic,1993
2. Entailment: The Logic of Relevance and Necessity, vol. I;Anderson,1975
3. The semantics and proof theory of linear logic;Avron;Theoret. Comput. Sci.,1988
4. What is relevance logic?;Avron;Ann. Pure Appl. Logic,2014
5. Linear logic displayed;Belnap;Notre Dame J. Form. Log.,1990