Daniele Mundici
Orcid: 0000-0002-6779-3362Affiliations:
- University of Milan, Italy
According to our database1,
Daniele Mundici
authored at least 81 papers
between 1980 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Ann. Pure Appl. Log., 2023
2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
2021
2020
Proceedings of the Fields of Logic and Computation III, 2020
2019
2017
2016
Proceedings of the On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, 2016
2015
J. Log. Comput., 2015
2014
2012
2011
A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space.
J. Log. Comput., 2011
Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011
2009
Ann. Pure Appl. Log., 2009
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009
Proceedings of the Towards Mathematical Philosophy, 2009
2008
2007
Int. J. Approx. Reason., 2007
2006
J. Multiple Valued Log. Soft Comput., 2006
2004
Proceedings of the Computing and Combinatorics, 10th Annual International Conference, 2004
2003
2002
Proceedings of the 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), 2002
2001
Ann. Pure Appl. Log., 2001
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001
2000
Proceedings of the Computing and Combinatorics, 6th Annual International Conference, 2000
1999
Proceedings of the Algorithms, 1999
1998
Theor. Comput. Sci., 1998
An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit.
Stud Logica, 1998
1997
Theor. Comput. Sci., 1997
An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz.
Stud Logica, 1997
Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface.
Ann. Pure Appl. Log., 1997
1996
1995
1994
J. Symb. Log., 1994
1993
Ulam Games, Lukasiewicz Logic, and AF C*-Algebras.
Fundam. Informaticae, 1993
1992
Ann. Math. Artif. Intell., 1992
1991
Proceedings of the Computer Science Logic, 5th Workshop, 1991
1990
Proceedings of the Computer Science Logic, 4th Workshop, 1990
1989
Theor. Comput. Sci., 1989
1988
1987
Theor. Comput. Sci., 1987
The Turing Complexity of AF C<sup>*</sup>-algebras with Lattice-ordered K<sub>o</sub>.
Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987
1986
J. Symb. Log., 1986
1984
Ann. Pure Appl. Log., 1984
1983
Arch. Math. Log., 1983
Arch. Math. Log., 1983
1982
1981
An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem.
J. Symb. Log., 1981
1980