| Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic VM Abrusci The Journal of Symbolic Logic 56 (4), 1403-1451, 1991 | 232 | 1991 |
| Non-commutative logic I: the multiplicative fragment VM Abrusci, P Ruet Annals of pure and applied logic 101 (1), 29-64, 1999 | 194 | 1999 |
| Non-commutative intuitionistic linear logic. VM Abrusci Mathematical Logic Quarterly 36 (4), 1990 | 70 | 1990 |
| A comparison between lambek syntactic calculus and intuitionistic linear propositional logic. VM Abrusci Mathematical Logic Quarterly 36 (1), 1990 | 61 | 1990 |
| Noncommutative proof nets VM Abrusci London Mathematical Society Lecture Note Series, 271-296, 1995 | 58 | 1995 |
| Sequent calculus for intuitionistic linear propositional logic VM Abrusci Mathematical Logic, 223-242, 1990 | 36 | 1990 |
| Classical conservative extensions of Lambek calculus VM Abrusci Studia Logica: An International Journal for Symbolic Logic 71 (3), 277-314, 2002 | 33 | 2002 |
| Tree adjoining grammars in noncommutative linear logic VM Abrusci, C Fouqueré, J Vauzeilles Logical Aspects of Computational Linguistics: First International Conference …, 1997 | 19 | 1997 |
| A new correctness criterion for cyclic proof nets VM Abrusci, E Maringelli Journal of Logic, Language and Information 7, 449-459, 1998 | 17 | 1998 |
| Lambek calculus, cyclic multiplicative-additive linear logic, noncommutative multiplicative-additive linear logic: language and sequent calculus VM Abrusci Proceedings of 1996 Roma Workshop on Proofs and Linguistic Categoris, 21-48, 1996 | 17 | 1996 |
| Some uses of dilators in combinatorial problems. II VM Abrusci, JY Girard, J Van De Wiele The Journal of Symbolic Logic 55 (1), 32-40, 1990 | 15* | 1990 |
| Logica VM Abrusci, LT Falco Springer, 2014 | 12 | 2014 |
| Universal vs. particular reasoning: a study with neuroimaging techniques VM Abrusci, C Casadio, MT Medaglia, C Porcaro Logic Journal of the IGPL 21 (6), 1017-1027, 2013 | 11 | 2013 |
| Paul Hertz’s logical works: Contents and relevance VM Abrusci Atti del Convegno Internazionale di Storia della Logica, San Gimignano, 4–8 …, 1983 | 10 | 1983 |
| Disjunction and existence properties in intermediate predicate logics P Minari Atti del Congresso" Logica e filosofia della scienza, oggi", 199-203, 1986 | 9 | 1986 |
| Proof nets for multiplicative cyclic linear logic and Lambek calculus VM Abrusci, R Maieli Mathematical Structures in Computer Science 29 (6), 733-762, 2019 | 8 | 2019 |
| Tree Adjoining Grammars in a fragment of the Lambek calculus VM Abrusci, C Fouqueré, J Vauzeilles Computational Linguistics 25 (2), 209-236, 1999 | 8 | 1999 |
| Third Roma Workshop: Proofs and Linguistics Categories–Applications of Logic to the analysis and implementation of Natural Language VM Abrusci, C Casadio Bologna: CLUEB, 1996 | 8 | 1996 |
| Autofondazione della matematica. Le ricerche di Hilbert sui fon-damenti della matematica VM Abrusci D. Hilbert, Ricerche sui fondamenti della matemati-ca, Bibliopolis, Napoli …, 1985 | 8 | 1985 |
| Phase semantics and sequent calculus for pure noncommutative classical propositional linear logic VM Abrusci Journal of Symbolic logic 56 (1403-1451), 102, 1991 | 7 | 1991 |
