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

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: Roberto Maieli