6 citations · 8 across the 3 of their papers we have counts for
4 papers
Continuous logic in a classical setting
Claudio Agostini, Stefano Baratella, Silvia Barbina +2
Let be a first-order two-sorted language and consider a class of -structures of the form where varies among structures of the…
A two-dimensional metric temporal logic
Stefano Baratella, Andrea Masini
We introduce a two-dimensional metric (interval) temporal logic whose internal and external time flows are dense linear orderings. We provide a suitable semantics and a sequent cal…
The Real truth
Stefano Baratella, Domenico Zambella
We study a real valued propositional logic with unbounded positive and negative truth values that we call R-valued logic. Such logic slightly extends continuous propositional logic…
Nonstandard Hulls of C*-Algebras
Stefano Baratella, Siu-Ah Ng
We study properties of C*-algebras obtained from the nonstandard hull construction (a generalization of the ultraproduct of C*-algebras). Among others, we prove that the properties…