#### Filter Results:

- Full text PDF available (18)

#### Publication Year

1986

2017

- This year (3)
- Last 5 years (11)
- Last 10 years (28)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková
- Soft Comput.
- 2005

We survey complexity results concerning a family of propositional many-valued logics. In particular, we shall address satisfiability and tautologousness problems for Hájek’s Basic Logic BL and for several of its schematic extensions. We shall review complexity bounds obtained from functional representation results, as well as techniques for dealing with… (More)

- Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
- ECSQARU
- 2009

Associated with any [0, 1]-valued propositional logic with a complete algebraic semantics, one can consider algebras of families of fuzzy sets over a classical universe, endowed with the appropriate operations. For the three most important schematic extensions of Hájek’s Basic (Fuzzy) Logic, we investigate the existence and the structure of such algebras of… (More)

In this paper we shall establish some links between the algebras of Ã Lukasiewicz logic (MV-algebras) and the semirings. The relationship of these algebraic structures gives a hint on how to construct linear algebra starting from MV-algebras. Indeed here the role of sum and product is played respectively by a lattice operation and by an arithmetical… (More)

- Antonio di Nola, Brunella Gerla
- Math. Log. Q.
- 1986

111 order to give a general approach to fuzzy set theory, we utilize the concepts of geneialized algebra and realization (in this paper we call them valuation structure and f u z g model, respectively) given by H. RASIOWA and R. SIKORSRI in [13], [I51 and others papers. h’amely we treat the valuation structures of a given type and the fuzzy motlelh of a… (More)

- Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
- Studia Logica
- 2008

In the 1930s, Bruno de Finetti described a simple criterion to establish if a distribution of values β(Ei) ∈ [0, 1] to events Ei can be extended to a probability measure on the Boolean algebra A generated by such events. The criterion states that for a given β the required extension does not exist if and only if it is possible to choose real numbers σ1, . .… (More)

- Stefano Aguzzoli, Brunella Gerla
- FUZZ-IEEE
- 2006

- Stefano Aguzzoli, Brunella Gerla
- Fuzzy Sets and Systems
- 2008

We introduce a semantical definition of minterms and maxterms which generalizes the usual notion in Boolean logic to a class of many-valued logics. We apply this notion to get normal forms for logics G, NM, NMG. Then we obtain a combinatorial description of the n-generated free algebras in the varieties constituting the algebraic semantics of those logics.… (More)

- Brunella Gerla
- ISMVL
- 2004

- Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
- Ann. Pure Appl. Logic
- 2008