V. Michele Abrusci

Publication Activity (10 Years)

Years Active: 1989-2019
Publications (10 Years): 4

Top Topics

Formal Ontologies

Cut Elimination

Proof Theoretic

Top Venues

Math. Struct. Comput. Sci.

Publications

V. Michele Abrusci, Roberto Maieli
Proof nets for multiplicative cyclic linear logic and Lambek calculus. Math. Struct. Comput. Sci. 29 (6) (2019)
V. Michele Abrusci
Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction. FLAP 4 (2) (2017)
V. Michele Abrusci, Claudia Casadio
A Geometrical Representation of the Basic Laws of Categorial Grammar. Stud Logica 105 (3) (2017)
V. Michele Abrusci
Analytic and synthetic in logic. Log. J. IGPL 24 (4) (2016)
V. Michele Abrusci
On Residuation. Categories and Types in Logic, Language, and Physics (2014)
V. Michele Abrusci, Christophe Fouqueré, Marco Romano
Formal Ontologies and Coherent Spaces. J. Appl. Log. 12 (1) (2014)
V. Michele Abrusci, Christian Retoré
Some proof theoretical remarks on quantification in ordinary language CoRR (2013)
V. Michele Abrusci, Claudia Casadio, M. Teresa Medaglia, Camillo Porcaro
Universal vs. particular reasoning: a study with neuroimaging techniques. Log. J. IGPL 21 (6) (2013)
V. Michele Abrusci, Marco Romano, Christophe Fouqueré
Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations. KEOD (2009)
V. Michele Abrusci
Non Commutative Logic: A Survey. TABLEAUX (2003)
V. Michele Abrusci
Towards a semantics of proofs for non-commutative logic: multiplicatives and additives. Theor. Comput. Sci. 294 (3) (2003)
V. Michele Abrusci
Classical Conservative Extensions of Lambek Calculus. Stud Logica 71 (3) (2002)
V. Michele Abrusci
Modules in Non-communicative Logic. TLCA (1999)
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
Tree Adjoining Grammars in a Fragment of the Lambek Calculus. Comput. Linguistics 25 (2) (1999)
V. Michele Abrusci, Paul Ruet
Non-Commutative Logic I: The Multiplicative Fragment. Ann. Pure Appl. Log. 101 (1) (1999)
V. Michele Abrusci, Elena Maringelli
A New Correctness Criterion for Cyclic Proof Nets. J. Log. Lang. Inf. 7 (4) (1998)
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
Tree Adjoining Grammars in Noncommutative Linear Logic. LACL (1996)
V. Michele Abrusci
Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic. J. Symb. Log. 56 (4) (1991)
V. Michele Abrusci
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic. Math. Log. Q. 36 (1) (1990)
V. Michele Abrusci
Non-commutative intuitionistic linear logic. Math. Log. Q. 36 (4) (1990)
V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele
Some Uses of Dilators in Combinatorial Problems, II. J. Symb. Log. 55 (1) (1990)
V. Michele Abrusci
Weakly Finite Dilator). Arch. Math. Log. 29 (2) (1989)
V. Michele Abrusci, Gianfranco Mascari
A Logic of Recursion Inf. Comput. 81 (2) (1989)