UniSa - IRIS Institutional Research Information System

LENZI, Giacomo

LENZI, Giacomo  

Dipartimento di Matematica/DIPMAT  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. 1-gen-1999 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.
A characterization of pseudofinite MV-algebras 1-gen-2020 Farsimadan, E.; Lenzi, G.; Rizzo, P.; Saeid, A. B.
A fixpoint-based axiom system for $ACTL$. 1-gen-1998 Lenzi, Giacomo
A general axiomatic framework for the foundations of mathematics, logic and computer science 1-gen-1997 M., Forti; Lenzi, Giacomo
A hierarchy theorem for the mu-calculus 1-gen-1996 Lenzi, Giacomo
A new logical characterization of B"uchi automata 1-gen-2001 Lenzi, Giacomo
A note on bisimulation quantifiers and fixed points over transitive frames 1-gen-2008 Lenzi, Giacomo; D'Agostino, G.
A Pointfree Approach to Measurability and Statistical Models 1-gen-2023 DI NOLA, Antonio; Lapenta, Serafina; Lenzi, Giacomo
A positive set theory with equality revisited 1-gen-2008 Lenzi, Giacomo
A special type of ideals in MV-algebras of continuous functions 1-gen-2023 Barbieri, Giuseppina Gerarda; Bedrood, Mahta; Lenzi, Giacomo; Borumand Saeid, Arsham; Sajadian, Farhad
About a positive set theory with equality, 1-gen-2006 Lenzi, Giacomo
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 Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains 1-gen-2014 Lenzi, Giacomo; Enrico, Marchioni
An axiomatization of bisimulation quantifiers via the mu-calculus. 1-gen-2005 D'Agostino, G; Lenzi, Giacomo
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