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
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic	1990-01-01	Paper
Some uses of dilators in combinatorial problems. II	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

This page was built for person: V. Michele Abrusci