Some uses of dilators in combinatorial problems - Part III. Independence results by means of decreasingF-sequences (F Weakly Finite Dilator). - V. Michele Abrusci (Arch. Math. Log., 1989)

A Logic of Recursion - V. Michele Abrusci; Gianfranco Mascari (Inf. Comput., 1989)

Some Uses of Dilators in Combinatorial Problems, II. - V. Michele Abrusci; Jean-Yves Girard 001; Jacques Van de Wiele (J. Symb. Log., 1990)

A comparison between lambek syntactic calculus and intuitionistic linear propositional logic. - V. Michele Abrusci (Math. Log. Q., 1990)

Non-commutative intuitionistic linear logic. - V. Michele Abrusci (Math. Log. Q., 1990)

Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic. - V. Michele Abrusci (J. Symb. Log., 1991)

Tree Adjoining Grammars in Noncommutative Linear Logic. - V. Michele Abrusci; Christophe Fouqueré; Jacqueline Vauzeilles (LACL, 1996)

A New Correctness Criterion for Cyclic Proof Nets. - V. Michele Abrusci; Elena Maringelli (J. Log. Lang. Inf., 1998)

Modules in Non-communicative Logic. - V. Michele Abrusci (TLCA, 1999)

Non-Commutative Logic I: The Multiplicative Fragment. - V. Michele Abrusci; Paul Ruet (Ann. Pure Appl. Log., 1999)

Tree Adjoining Grammars in a Fragment of the Lambek Calculus. - V. Michele Abrusci; Christophe Fouqueré; Jacqueline Vauzeilles (Comput. Linguistics, 1999)

Classical Conservative Extensions of Lambek Calculus. - V. Michele Abrusci (Stud Logica, 2002)

Non Commutative Logic: A Survey. - V. Michele Abrusci (TABLEAUX, 2003)

Towards a semantics of proofs for non-commutative logic: multiplicatives and additives. - V. Michele Abrusci (Theor. Comput. Sci., 2003)

Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations. - V. Michele Abrusci; Marco Romano; Christophe Fouqueré (KEOD, 2009)

Ontologies and Coherence Spaces. - V. Michele Abrusci; Marco Romano; Christophe Fouqueré (PRELUDE Project, 2011)

Some proof theoretical remarks on quantification in ordinary language - V. Michele Abrusci; Christian Retoré (CoRR, 2013)

Universal vs. particular reasoning: a study with neuroimaging techniques. - V. Michele Abrusci; Claudia Casadio; M. Teresa Medaglia; Camillo Porcaro (Log. J. IGPL, 2013)

On Residuation. - V. Michele Abrusci (Categories and Types in Logic, Language, and Physics, 2014)

Formal Ontologies and Coherent Spaces. - V. Michele Abrusci; Christophe Fouqueré; Marco Romano (J. Appl. Log., 2014)

Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing. - Vito Michele Abrusci; Roberto Maieli (FG, 2015)

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing. - Vito Michele Abrusci; Roberto Maieli (WoLLIC, 2015)

Analytic and synthetic in logic. - V. Michele Abrusci (Log. J. IGPL, 2016)

Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction. - V. Michele Abrusci (FLAP, 2017)

A Geometrical Representation of the Basic Laws of Categorial Grammar. - V. Michele Abrusci; Claudia Casadio (Stud Logica, 2017)

Proof nets for multiplicative cyclic linear logic and Lambek calculus. - V. Michele Abrusci; Roberto Maieli (Math. Struct. Comput. Sci., 2019)