Follow
Roberto Maieli
Roberto Maieli
Dipartimento di Matematica e Fisica - Universitą Roma Tre
Verified email at uniroma3.it - Homepage
Title
Cited by
Cited by
Year
Focusing and proof-nets in linear and non-commutative logic
JM Andreoli, R Maieli
International Conference on Logic for Programming Artificial Intelligence …, 1999
211999
Generalized connectives for multiplicative linear logic
M Acclavio, R Maieli
CSL 2020-28th EACSL annual conference on Computer Science Logic 152, 6: 1-6: 15, 2020
162020
Cut elimination for monomial MALL proof nets
O Laurent, R Maieli
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 486-497, 2008
162008
Retractile proof nets of the purely multiplicative and additive fragment of linear logic
R Maieli
Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007
152007
Modularity of proof-nets
R Maieli, Q Puite
Archive for Mathematical Logic 44, 167-193, 2005
142005
Non-commutative logic III: focusing proofs
R Maieli, P Ruet
Information and Computation 185 (2), 233-262, 2003
132003
A new correctness criterion for multiplicative non-commutative proof nets
R Maieli
Archive for Mathematical Logic 42 (3), 205-220, 2003
92003
Proof nets for multiplicative cyclic linear logic and Lambek calculus
VM Abrusci, R Maieli
Mathematical Structures in Computer Science 29 (6), 733-762, 2019
72019
Non decomposable connectives of linear logic
R Maieli
Annals of Pure and Applied Logic 170 (11), 102709, 2019
62019
Construction of retractile proof structures
R Maieli
International Conference on Rewriting Techniques and Applications, 319-333, 2014
62014
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
VM Abrusci, R Maieli
International Conference on Formal Grammar, 43-59, 2015
42015
Cyclic multiplicative proof nets of linear logic with an application to language parsing
VM Abrusci, R Maieli
Logic, Language, Information, and Computation: 22nd International Workshop …, 2015
42015
Non-commutative proof construction: a constraint-based approach
JM Andreoli, R Maieli, P Ruet
Annals of Pure and Applied Logic 142 (1-3), 212-244, 2006
42006
Focalizzazione delle prove in logica non-commutativa
R Maieli
Ph. D. thesis, Universitą Roma 3, 2000
32000
A proof of the Focusing Theorem via MALL proof nets
R Maieli
International Workshop on Logic, Language, Information, and Computation, 1-17, 2022
22022
Probabilistic logic programming with multiplicative modules
R Maieli
5th International Workshop on Trends in Linear Logic and Applications (TLLA …, 2021
22021
Constraint Based Proof Construction in Non-Commutative Logic
JM Andreoli, R Maieli, P Ruet
Preprint Institut de Mathematiques de Luminy 33, 2001
22001
Interactive correctness criterion for multiplicative-additive proof-nets
R Maieli, P Ruet
LICS, 2006
12006
Bayesian Proof Nets
R Maieli
2024
Logic Programming with Multiplicative Structures
M Acclavio, R Maieli
arXiv preprint arXiv:2403.03032, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20