LENZI, Giacomo
LENZI, Giacomo
Dipartimento di Matematica/DIPMAT
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules.
1999 Lenzi, Giacomo
A basic theory for the foundations of mathematics and other sciences.
1999 Lenzi, Giacomo
A basic theory with predicates
2002 Lenzi, Giacomo; Tortorelli, V.
A characterization of pseudofinite MV-algebras
2020 Farsimadan, E.; Lenzi, G.; Rizzo, P.; Saeid, A. B.
A fixpoint-based axiom system for $ACTL$.
1998 Lenzi, Giacomo
A general axiomatic framework for the foundations of mathematics, logic and computer science
1997 M., Forti; Lenzi, Giacomo
A generalization of prime ideals in MV -algebras
2025 Bedrood, M.; Sajadian, F.; Lenzi, G.; Saeid, A. B.
A hierarchy theorem for the mu-calculus
1996 Lenzi, Giacomo
A new logical characterization of B"uchi automata
2001 Lenzi, Giacomo
A note on bisimulation quantifiers and fixed points over transitive frames
2008 Lenzi, Giacomo; D'Agostino, G.
A NOTE ON SPECTRAL MV-ALGEBRAS AND TOPOS THEORY
2025 Barbieri, Giuseppina; DI NOLA, Antonio; Lenzi, Giacomo
A Pointfree Approach to Measurability and Statistical Models
2023 DI NOLA, Antonio; Lapenta, Serafina; Lenzi, Giacomo
A positive set theory with equality revisited
2008 Lenzi, Giacomo
A special type of ideals in MV-algebras of continuous functions
2023 Barbieri, Giuseppina Gerarda; Bedrood, Mahta; Lenzi, Giacomo; Borumand Saeid, Arsham; Sajadian, Farhad
About a positive set theory with equality,
2006 Lenzi, Giacomo
Algebraic geometry for l-groups
2018 Di Nola, A.; Lenzi, G.; Vitale, G.
Algebraic geometry for MV-algebras
2014 Lawrence P., Belluce; DI NOLA, Antonio; Lenzi, Giacomo
Algebraically closed MV-algebras and their sheaf representation
2013 DI NOLA, Antonio; Ferraioli, ANNA RITA; Lenzi, Giacomo
An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains
2014 Lenzi, Giacomo; Enrico, Marchioni
An axiomatization of bisimulation quantifiers via the mu-calculus.
2005 D'Agostino, G; Lenzi, Giacomo