Roberto Maieli

Available identifiers

zbMath Open maieli.robertoMaRDI QIDQ1407587

List of research outcomes

Publication	Date of Publication	Type
A proof of the focusing theorem via MALL proof nets	2023-06-02	Paper
Generalized connectives for multiplicative linear logic	2023-02-07	Paper
Non decomposable connectives of linear logic	2019-10-07	Paper
Proof nets for multiplicative cyclic linear logic and Lambek calculus	2019-05-27	Paper
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing	2016-12-01	Paper
Cyclic multiplicative proof nets of linear logic with an application to language parsing	2015-09-24	Paper
Construction of retractile proof structures	2014-07-24	Paper
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	2008-05-15	Paper
Non-commutative proof construction: a constraint-based approach	2006-09-14	Paper
Modularity of proof-nets. Generating the type of a module.	2005-03-02	Paper
Non-commutative logic. III: Focusing proofs.	2004-03-14	Paper
A new correctness criterion for multiplicative non-commutative proof nets	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4938434	2001-12-07	Paper

Research outcomes over time

This page was built for person: Roberto Maieli