Vito Michele Abrusci

Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

Vito Michele Abrusci · Journal of Symbolic Logic · 1991 · 138 citations

Non-classical Logic, Engineering, Contraction Rules +13

Non-commutative logic I: the multiplicative fragment

Vito Michele Abrusci, Paul Ruet · Annals of Pure and Applied Logic · 1999 · 105 citations

Non-classical Logic, Substructural Logic, Non-commutative Logic +2

Clinical Trial with Clofazimine for Treating Erythema Dyschromicum Perstans Evaluation of Cell‐Mediated Immunity

Jaime Piquero‐Martían, Ricardo Péarez‐Alfonzo, Vito Michele Abrusci et al. · International Journal of Dermatology · 1989 · 47 citations

A comparison between lambek syntactic calculus and intuitionistic linear propositional logic

Vito Michele Abrusci · Mathematical logic quarterly · 1990 · 39 citations

Non-classical Logic, Syntax, Automated Reasoning +8

Non‐commutative intuitionistic linear logic

Vito Michele Abrusci · Mathematical logic quarterly · 1990 · 33 citations

Non-classical Logic, Non-monotonic Logic, Engineering +4