Concepedia

Daniele Mundici

DM

53

Publications

2.6K

Citations

26

H-Index

1981

Active since

Affiliations

University of Florence(Current)

University of Milan

Consejo Nacional de Investigaciones Científicas y Técnicas

National Research Council

Universidad Nacional del Centro de la Provincia de Buenos Aires

Daniele Mundici is an author at University of Florence specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsRepresentation TheoryComputational ComplexityCombinatorial OptimizationDiscrete MathematicsFunctional AnalysisApproximation Theory

Publications per year

1981–2015

53

Publications

53

Interpretation of AF C∗-algebras in Łukasiewicz sentential calculus

Daniele Mundici · Journal of Functional Analysis · 1986 · 694 citations

Algebraic Logic, Af C∗-algebras

Averaging the truth-value in ?ukasiewicz logic

Daniele Mundici · Studia Logica · 1995 · 249 citations

Automated Reasoning, Ukasiewicz Logic, Classical Logic +3

Satisfiability in many-valued sentential logic is NP-complete

Daniele Mundici · Theoretical Computer Science · 1987 · 131 citations

Engineering, Automated Reasoning, Many-valued Logic +5

Tensor Products and the Loomis–Sikorski Theorem for MV-Algebras

Daniele Mundici · Advances in Applied Mathematics · 1999 · 100 citations

Commutative Algebra, Representation Theory, Tensor Products

MV-algebras are categorically equivalent to bounded commutative BCK-algebras

Daniele Mundici · Florence Research (University of Florence) · 1986 · 97 citations

Commutative Bck-algebras, Abstract Algebra, Universal Algebra

Rows per page

1–5 of 53