V. Michele Abrusci

zbMath Openabrusci.vito-micheleMaRDI QIDQ280841

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
scientific article; zbMATH DE number 2216774 (Why is no real title available?)	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
scientific article; zbMATH DE number 1342270 (Why is no real title available?)	2000-02-28	Paper
A new correctness criterion for cyclic proof nets	1999-02-17	Paper
scientific article; zbMATH DE number 1104362 (Why is no real title available?)	1998-06-14	Paper
scientific article; zbMATH DE number 786497 (Why is no real title available?)	1995-12-18	Paper
scientific article; zbMATH DE number 218517 (Why is no real title available?)	1993-06-29	Paper
scientific article; zbMATH DE number 53296 (Why is no real title available?)	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
scientific article; zbMATH DE number 4031678 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4031679 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4091489 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3979053 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3991495 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3825793 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 4029553 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3710143 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

This page was built for person: V. Michele Abrusci