V. Michele Abrusci - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2019

Proof nets for multiplicative cyclic linear logic and Lambek calculusV. Michele Abrusci, Roberto Maieli. mscs, 29(6):733-762, 2019. [doi]

2017

A Geometrical Representation of the Basic Laws of Categorial GrammarV. Michele Abrusci, Claudia Casadio. sLogica, 105(3):479-520, 2017. [doi]

Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An IntroductionV. Michele Abrusci. flap, 4(2), 2017. [doi]

2016

Analytic and synthetic in logicV. Michele Abrusci. igpl, 24(4):481-493, 2016. [doi]

2014

Formal Ontologies and Coherent SpacesV. Michele Abrusci, Christophe Fouqueré, Marco Romano. japll, 12(1):67-74, 2014. [doi]

On ResiduationV. Michele Abrusci. BIRTHDAY 2014: 14-27 [doi]

2013

Universal vs. particular reasoning: a study with neuroimaging techniquesV. Michele Abrusci, Claudia Casadio, M. Teresa Medaglia, Camillo Porcaro. igpl, 21(6):1017-1027, 2013. [doi]

2011

Ontologies and Coherence SpacesV. Michele Abrusci, Marco Romano, Christophe Fouqueré. In Alain Lecomte, Samuel Tronçon, editors, Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers. Volume 6505 of Lecture Notes in Computer Science, pages 205-219, Springer, 2011. [doi]

2009

Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge RepresentationsV. Michele Abrusci, Marco Romano, Christophe FouquerÃ©. ic3k 2009: 220-225

2003

Non Commutative Logic: A SurveyV. Michele Abrusci. tableaux 2003: 1 [doi]

Towards a semantics of proofs for non-commutative logic: multiplicatives and additivesV. Michele Abrusci. TCS, 294(3):335-351, 2003.

2002

Classical Conservative Extensions of Lambek CalculusV. Michele Abrusci. sLogica, 71(3):277-314, 2002.

1999

Modules in Non-communicative LogicV. Michele Abrusci. tlca 1999: 14-24 [doi]

Tree Adjoining Grammars in a Fragment of the Lambek CalculusV. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles. coling, 25(2):209-236, 1999.

Non-Commutative Logic I: The Multiplicative FragmentV. Michele Abrusci, Paul Ruet. APAL, 101(1):29-64, 1999.

1998

A New Correctness Criterion for Cyclic Proof NetsV. Michele Abrusci, Elena Maringelli. jolli, 7(4):449-459, 1998.

1996

Tree Adjoining Grammars in Noncommutative Linear LogicV. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles. lacl 1997: 96-117 [doi]

1991

Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional LogicV. Michele Abrusci. JSYML, 56(4):1403-1451, 1991.

1990

Some Uses of Dilators in Combinatorial Problems, IIV. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele. JSYML, 55(1):32-40, 1990.

Non-commutative intuitionistic linear logicV. Michele Abrusci. mlq, 36(4):297-318, 1990. [doi]

A comparison between lambek syntactic calculus and intuitionistic linear propositional logicV. Michele Abrusci. mlq, 36(1):11-15, 1990. [doi]

1989

A Logic of RecursionV. Michele Abrusci, Gianfranco Mascari. iandc, 81(2):168-226, May 1989.

F Weakly Finite Dilator)V. Michele Abrusci. AML, 29(2):85-109, 1989. [doi]

Sign in or sign up to see more results.

runs on WebDSL