×
Compute Distance To:
Author ID: diaconescu.denisa Recent zbMATH articles by "Diaconescu, Denisa"
Published as: Diaconescu, Denisa; Diaconescu, D.
Documents Indexed: 16 Publications since 2007
Co-Authors: 12 Co-Authors with 12 Joint Publications
176 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 54 times in 49 Documents Cited by Year
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045
Diaconescu, Denisa; Georgescu, George
25
2007
Lexicographic MV-algebras and lexicographic states. Zbl 1315.06014
Diaconescu, Denisa; Flaminio, Tommaso; Leuştean, Ioana
10
2014
The Riesz hull of a semisimple MV-algebra. Zbl 1363.06013
Diaconescu, D.; Leuştean, I.
6
2015
Axiomatizing a real-valued modal logic. Zbl 1400.03039
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
3
2016
Kripke-style semantics for non-commutative monoidal t-norm logic. Zbl 1236.03019
Diaconescu, Denisa
2
2010
Skolemization for substructural logics. Zbl 1471.03054
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Non-commutative product logic and probability of fuzzy events. Zbl 1252.03050
Diaconescu, Denisa
1
2012
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 1472.03022
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
Exploring infinitesimal events through MV-algebras and non-Archimedean states. Zbl 1437.06020
Diaconescu, Denisa; Ferraioli, Anna Rita; Flaminio, Tommaso; Gerla, Brunella
1
2014
On standard completeness for non-commutative many-valued logics. Zbl 1351.03017
Diaconescu, Denisa
1
2014
A real-valued modal logic. Zbl 1459.03021
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
1
2018
Forcing operators on MTL-algebras. Zbl 1215.03075
Diaconescu, Denisa; Georgescu, George
1
2011
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 1472.03022
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
A real-valued modal logic. Zbl 1459.03021
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
1
2018
Axiomatizing a real-valued modal logic. Zbl 1400.03039
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
3
2016
The Riesz hull of a semisimple MV-algebra. Zbl 1363.06013
Diaconescu, D.; Leuştean, I.
6
2015
Skolemization for substructural logics. Zbl 1471.03054
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Lexicographic MV-algebras and lexicographic states. Zbl 1315.06014
Diaconescu, Denisa; Flaminio, Tommaso; Leuştean, Ioana
10
2014
Exploring infinitesimal events through MV-algebras and non-Archimedean states. Zbl 1437.06020
Diaconescu, Denisa; Ferraioli, Anna Rita; Flaminio, Tommaso; Gerla, Brunella
1
2014
On standard completeness for non-commutative many-valued logics. Zbl 1351.03017
Diaconescu, Denisa
1
2014
Non-commutative product logic and probability of fuzzy events. Zbl 1252.03050
Diaconescu, Denisa
1
2012
Forcing operators on MTL-algebras. Zbl 1215.03075
Diaconescu, Denisa; Georgescu, George
1
2011
Kripke-style semantics for non-commutative monoidal t-norm logic. Zbl 1236.03019
Diaconescu, Denisa
2
2010
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045
Diaconescu, Denisa; Georgescu, George
25
2007

Citations by Year