Roberto Maieli

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
A proof of the focusing theorem via MALL proof nets Logic, Language, Information, and Computation	2023-06-02	Paper
Generalized connectives for multiplicative linear logic	2023-02-07	Paper
Non decomposable connectives of linear logic Annals of Pure and Applied Logic	2019-10-07	Paper
Proof nets for multiplicative cyclic linear logic and Lambek calculus Mathematical Structures in Computer Science	2019-05-27	Paper
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing Formal Grammar	2016-12-01	Paper
Cyclic multiplicative proof nets of linear logic with an application to language parsing Logic, Language, Information, and Computation	2015-09-24	Paper
Construction of retractile proof structures Lecture Notes in Computer Science	2014-07-24	Paper
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
Non-commutative proof construction: a constraint-based approach Annals of Pure and Applied Logic	2006-09-14	Paper
Modularity of proof-nets. Generating the type of a module. Archive for Mathematical Logic	2005-03-02	Paper
Non-commutative logic. III: Focusing proofs. Information and Computation	2004-03-14	Paper
A new correctness criterion for multiplicative non-commutative proof nets Archive for Mathematical Logic	2003-09-16	Paper
scientific article; zbMATH DE number 1405459 (Why is no real title available?)	2001-12-07	Paper

Research outcomes over time

This page was built for person: Roberto Maieli