V. Michele Abrusci

发表

Towards a semantics of proofs for non-commutative logic: multiplicatives and additives

V. Michele Abrusci, 2003, Theor. Comput. Sci..

Non-commutative intuitionistic linear logic

V. Michele Abrusci, 1990, Math. Log. Q..

Non Commutative Logic: A Survey

V. Michele Abrusci, 2003, TABLEAUX.

Analytic and synthetic in logic

V. Michele Abrusci, V. M. Abrusci, 2016, Log. J. IGPL.

Non-Commutative Logic I: The Multiplicative Fragment

Paul Ruet, V. Michele Abrusci, P. Ruet, 1999, Ann. Pure Appl. Log..

Ontologies and Coherence Spaces

Marco Romano, V. Michele Abrusci, Christophe Fouqueré, 2011, PRELUDE Project.

Formal Ontologies and Coherent Spaces

Marco Romano, V. Michele Abrusci, Christophe Fouqueré, 2014, J. Appl. Log..

On Residuation

V. Michele Abrusci, 2014, Categories and Types in Logic, Language, and Physics.

Modules in Non-communicative Logic

V. Michele Abrusci, 1999, TLCA.

Some uses of dilators in combinatorial problems

V. Michele Abrusci, V. M. Abrusci, 1989, Arch. Math. Log..

Some Uses of Dilators in Combinatorial Problems, II

Jacques Van de Wiele, Jean-Yves Girard, V. Michele Abrusci, 1990, J. Symb. Log..

A New Correctness Criterion for Cyclic Proof Nets

V. Michele Abrusci, Elena Maringelli, 1998, J. Log. Lang. Inf..

Classical Conservative Extensions of Lambek Calculus

V. Michele Abrusci, 2002, Stud Logica.

Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations

Marco Romano, V. Michele Abrusci, Christophe Fouqueré, 2018, KEOD.

A comparison between lambek syntactic calculus and intuitionistic linear propositional logic

V. Michele Abrusci, V. M. Abrusci, 1990, Mathematical Logic Quarterly.

Some proof theoretical remarks on quantification in ordinary language pdf

V. Michele Abrusci, Christian Retoré, V. M. Abrusci, 2013, ArXiv.

Proof nets for multiplicative cyclic linear logic and Lambek calculus

V. Michele Abrusci, Roberto Maieli, Roberto Maieli, 2019, Mathematical Structures in Computer Science.

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

Jacqueline Vauzeilles, V. Michele Abrusci, Christophe Fouqueré, 1999, Comput. Linguistics.

Tree Adjoining Grammars in Noncommutative Linear Logic

Jacqueline Vauzeilles, V. Michele Abrusci, Christophe Fouqueré, 1996, LACL.

A Geometrical Representation of the Basic Laws of Categorial Grammar

V. Michele Abrusci, Claudia Casadio, 2017, Stud Logica.

Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing

V. Michele Abrusci, Roberto Maieli, V. M. Abrusci, 2015, FG.

Universal vs. particular reasoning: a study with neuroimaging techniques

V. Michele Abrusci, Claudia Casadio, Camillo Porcaro, 2013, Log. J. IGPL.

Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic

V. Michele Abrusci, 1991, J. Symb. Log..

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing

V. Michele Abrusci, Roberto Maieli, V. M. Abrusci, 2015, WoLLIC.

A Logic of Recursion

V. Michele Abrusci, Gianfranco Mascari, 1989, Inf. Comput..

Noncommutative proof nets

V. Michele Abrusci, 1995 .

Sequent Calculus for Intuitionistic Linear Propositional Logic

V. Michele Abrusci, 1990 .