V. Michele Abrusci

24 papers B 1C 1Journal 18Unranked 3

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Proof nets for multiplicative cyclic linear logic and Lambek calculus. Math. Struct. Comput. Sci. V. Michele Abrusci, Roberto Maieli
2017	J	`jnl`	A Geometrical Representation of the Basic Laws of Categorial Grammar. Stud Logica V. Michele Abrusci, Claudia Casadio
2017	J	`jnl`	Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction. FLAP V. Michele Abrusci
2016	J	`jnl`	Analytic and synthetic in logic. Log. J. IGPL V. Michele Abrusci
2014	J	`jnl`	Formal Ontologies and Coherent Spaces. J. Appl. Log. V. Michele Abrusci, Christophe Fouqueré, Marco Romano
2014	—	`conf`	On Residuation. Categories and Types in Logic, Language, and Physics V. Michele Abrusci
2013	J	`jnl`	Some proof theoretical remarks on quantification in ordinary language CoRR V. Michele Abrusci, Christian Retoré
2013	J	`jnl`	Universal vs. particular reasoning: a study with neuroimaging techniques. Log. J. IGPL V. Michele Abrusci, Claudia Casadio, M. Teresa Medaglia, Camillo Porcaro
2011	—	`ch.`	Ontologies and Coherence Spaces. PRELUDE Project V. Michele Abrusci, Marco Romano, Christophe Fouqueré
2009	C	`conf`	Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations. KEOD V. Michele Abrusci, Marco Romano, Christophe Fouqueré
2003	B	`conf`	Non Commutative Logic: A Survey. TABLEAUX V. Michele Abrusci
2003	J	`jnl`	Towards a semantics of proofs for non-commutative logic: multiplicatives and additives. Theor. Comput. Sci. V. Michele Abrusci
2002	J	`jnl`	Classical Conservative Extensions of Lambek Calculus. Stud Logica V. Michele Abrusci
1999	—	`conf`	Modules in Non-communicative Logic. TLCA V. Michele Abrusci
1999	J	`jnl`	Non-Commutative Logic I: The Multiplicative Fragment. Ann. Pure Appl. Log. V. Michele Abrusci, Paul Ruet
1999	J	`jnl`	Tree Adjoining Grammars in a Fragment of the Lambek Calculus. Comput. Linguistics V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
1998	J	`jnl`	A New Correctness Criterion for Cyclic Proof Nets. J. Log. Lang. Inf. V. Michele Abrusci, Elena Maringelli
1996	—	`conf`	Tree Adjoining Grammars in Noncommutative Linear Logic. LACL V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
1991	J	`jnl`	Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic. J. Symb. Log. V. Michele Abrusci
1990	J	`jnl`	A comparison between lambek syntactic calculus and intuitionistic linear propositional logic. Math. Log. Q. V. Michele Abrusci
1990	J	`jnl`	Non-commutative intuitionistic linear logic. Math. Log. Q. V. Michele Abrusci
1990	J	`jnl`	Some Uses of Dilators in Combinatorial Problems, II. J. Symb. Log. V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele
1989	J	`jnl`	A Logic of Recursion Inf. Comput. V. Michele Abrusci, Gianfranco Mascari
1989	J	`jnl`	Some uses of dilators in combinatorial problems - Part III. Independence results by means of decreasing Arch. Math. Log. V. Michele Abrusci