1. Entailment: The Logic of Relevance and Necessity, vol. 1;Anderson,1975
2. Entailment: The Logic of Relevance and Necessity, vol. 2;Anderson,1992
3. Algebraic logic;Andréka,2001
4. Basic propositional calculus I;Ardeshir;Math. Log. Q.,1998
5. The semantics and proof theory of linear logic;Avron;Theoret. Comput. Sci.,1988