Concepedia

Brunella Gerla

BG

14

Publications

271

Citations

13

H-Index

2000

Active since

Affiliations

University of Milan(Current)

University of Insubria

University of Salerno

Brunella Gerla is an author at University of Milan specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsProbabilityComputer ScienceRepresentation TheoryEntropyComplexityFuzzy LogicGame Theory

Publications per year

2000–2012

14

Publications

14

Complexity issues in basic logic

Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková · Soft Computing · 2005 · 29 citations

Computational Logic, Engineering, Abstract Complexity +7

De Finetti’s No-Dutch-Book Criterion for Gödel logic

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra · Studia Logica · 2008 · 29 citations

Non-classical Logic, Automated Reasoning, Classical Logic +2

Normal forms and free algebras for some extensions of MTL

Stefano Aguzzoli, Brunella Gerla · Fuzzy Sets and Systems · 2007 · 22 citations

Abstract Algebra, Representation Theory, Modern Algebra +4

Many-valued Logics of Continuous t-norms and Their Functional Representation

Brunella Gerla · 2001 · 22 citations

Perfect MV-algebras and their Logic

L. P. Belluce, Antonio Di Nola, Brunella Gerla · Applied Categorical Structures · 2007 · 20 citations

Algebraic Logic, Modern Algebra, Automated Reasoning +2

Rows per page

1–5 of 14