1. Sequent calculus for intuitionistic linear propositional logic;Abrusci,1990
2. An algebraic investigation of linear logic;Agliano,1996
3. Basic hoops: An algebraic study of continuous t-norms;Agliano,1999
4. Varieties of BL-algebras I: general properties;P.;Journal of Pure and Applied Algebras,2003
5. Entailment. The logic of relevance and necessity;Anderson,1975