2. Professors
  3. Research
  4. Publications

Publications

Giacomo LENZI Publications


2013
Articolo in rivista
Hyperfinite MV-algebras
JOURNAL OF PURE AND APPLIED ALGEBRA. Vol. 217. Pag.1208-1223
ISSN:0022-4049.
Belluce, Lawrence Peter; DI NOLA, Antonio; Lenzi, Giacomo
Digital Object Identifier (DOI): 10.1016/j.jpaa.2012.10.012
Codice identificativo ISI: WOS:000316926100004
Codice identificativo SCOPUS: 2-s2.0-84873747409
Show it in Product Database (IRIS)
2013
Articolo in rivista
Algebraically closed MV-algebras and their sheaf representation
ANNALS OF PURE AND APPLIED LOGIC. Vol. 164. Pag.349-355
ISSN:0168-0072.
DI NOLA, Antonio; Ferraioli, ANNA RITA; Lenzi, Giacomo
Digital Object Identifier (DOI): 10.1016/j.apal.2012.10.017
Codice identificativo ISI: WOS:000314432700009
Codice identificativo SCOPUS: 2-s2.0-84871046502
Show it in Product Database (IRIS)
2013
Articolo in rivista
On modal mu-calculus in S5 and applications
FUNDAMENTA INFORMATICAE. Vol. 124. Pag.1-18
ISSN:0169-2968.
D'Agostino, G.; Lenzi, Giacomo
Digital Object Identifier (DOI): 10.3233/FI-2013-844
Codice identificativo ISI: WOS:000320502200007
Codice identificativo SCOPUS: 2-s2.0-84879543555
Show it in Product Database (IRIS)
2013
Articolo in rivista
On modal mu-calculus over reflexive and symmetric graphs
JOURNAL OF LOGIC AND COMPUTATION. Vol. 23. Pag.445-455
ISSN:0955-792X.
G., D'Agostino; Lenzi, Giacomo
Digital Object Identifier (DOI): 10.1093/logcom/exs028
Codice identificativo ISI: WOS:000319474400001
Codice identificativo SCOPUS: 2-s2.0-84877972829
Show it in Product Database (IRIS)
2013
Contributo in Atti di convegno
Fuzzy Logic as a geometry.
In: IFSA-NAFIPS 2013 IEEE Pag.1249-1251
ISBN:978-147990347-4
IFSA-NAFIPS 2013
Edmonton, Alberta, Canada June 24-28, 2013
DI NOLA, Antonio; Lenzi, Giacomo; Belluce, Lawrence Peter
Digital Object Identifier (DOI): 10.1109/IFSA-NAFIPS.2013.6608580
Codice identificativo ISI: WOS:000333960300216
Codice identificativo SCOPUS: 2-s2.0-84886465741
Show it in Product Database (IRIS)