1. Comparing the expressive power of some fuzzy logics based on residuated t-norms;Aguzzoli,2006
2. Entailment;Anderson,1975
3. The method of hypersequents in the proof theory of propositional nonclassical logics;Avron,1996
4. A constructive analysis of RM;Avron;J. Symb. Log.,1987
5. Decomposition proof systems for Gödel–Dummett logics;Avron;Stud. Log.,2001