V. Michele Abrusci

Available identifiers

zbMath Open abrusci.vito-micheleMaRDI QIDQ280841

List of research outcomes

Publication	Date of Publication	Type
Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets	2021-12-08	Paper
Proof nets for multiplicative cyclic linear logic and Lambek calculus	2019-05-27	Paper
Analytic and synthetic in logic	2019-01-08	Paper
Logica	2018-03-09	Paper
A geometrical representation of the basic laws of categorial grammar	2017-07-19	Paper
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing	2016-12-01	Paper
Formal ontologies and coherent spaces	2016-05-10	Paper
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing	2015-09-24	Paper
Universal vs. particular reasoning: a study with neuroimaging techniques	2015-02-24	Paper
On Hilbert's Axiomatics of Propositional Logic	2014-07-22	Paper
On Residuation	2014-05-08	Paper
Logica	2014-03-31	Paper
Ontologies and Coherence Spaces	2011-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q5698871	2007-02-01	Paper
Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives	2003-07-29	Paper
Classical conservative extensions of Lambek calculus	2002-12-15	Paper
Non-commutative logic. I: The multiplicative fragment	2001-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4263858	2000-02-28	Paper
A new correctness criterion for cyclic proof nets	1999-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4370236	1998-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4842978	1995-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4694232	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4003521	1993-01-23	Paper
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic	1992-06-27	Paper
Non‐commutative intuitionistic linear logic	1992-06-25	Paper
Some uses of dilators in combinatorial problems. II	1990-01-01	Paper
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic	1990-01-01	Paper
Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator)	1989-01-01	Paper
A logic of recursion	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3772213	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3772214	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819057	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3744157	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753999	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3671965	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3770527	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3901491	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: V. Michele Abrusci