LENZI, Giacomo

LENZI, Giacomo  

Dipartimento di Matematica/DIPMAT  

Mostra records
Risultati 1 - 20 di 87 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
About a positive set theory with equality, 1-gen-2006 Lenzi, Giacomo
An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains 1-gen-2014 Lenzi, Giacomo; Enrico, Marchioni
Algebraic geometry for l-groups 1-gen-2018 Di Nola, A.; Lenzi, G.; Vitale, G.
Algebraic geometry for MV-algebras 1-gen-2014 Lawrence P., Belluce; DI NOLA, Antonio; Lenzi, Giacomo
Algebraically closed MV-algebras and their sheaf representation 1-gen-2013 DI NOLA, Antonio; Ferraioli, ANNA RITA; Lenzi, Giacomo
An axiomatization of bisimulation quantifiers via the mu-calculus. 1-gen-2005 D'Agostino, G; Lenzi, Giacomo
A basic theory for the foundations of mathematics and other sciences. 1-gen-1999 Lenzi, Giacomo
A basic theory with predicates 1-gen-2002 Lenzi, Giacomo; Tortorelli, V.
Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic 1-gen-2015 D'Agostino, Giovanna; Lenzi, Giacomo
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica 1-gen-1995 E., De Giorgi; M., Forti; Lenzi, Giacomo; V. M., Tortorelli
A characterization of pseudofinite MV-algebras 1-gen-2020 Farsimadan, E.; Lenzi, G.; Rizzo, P.; Saeid, A. B.
Deciding the existence of uniform interpolants over transitive models 1-gen-2011 Lenzi, Giacomo; Giovanna, D'Agostino
Dualities and algebraic geometry of Baire functions in non-classical logic 1-gen-2021 Di Nola, A.; Lapenta, S.; Lenzi, G.
Duality theory and skeleta for semisimple MV-algebras 1-gen-2018 Di Nola, A.; Lenzi, G.
ENTROPY OF MV-ALGEBRAIC DYNAMICAL SYSTEMS: AN EXAMPLE 1-gen-2019 Barbieri, Giuseppina Gerarda; Lenzi, G.
Estensioni contraddittorie della teoria ampia 1-gen-1989 Lenzi, Giacomo
Expanding lattice ordered abelian groups to Riesz spaces 1-gen-2022 Di Nola, A.; Lenzi, G.; Vitale, G.
A fixpoint-based axiom system for $ACTL$. 1-gen-1998 Lenzi, Giacomo
Formalizations and models of a basic theory for the foundations of mathematics 1-gen-1995 M., Grassi; Lenzi, Giacomo; V. M., Tortorelli
Fuzzy Logic as a geometry 1-gen-2013 DI NOLA, Antonio; Lenzi, Giacomo; Belluce, Lawrence Peter