×

zbMATH — the first resource for mathematics

Diaconescu, Denisa

Compute Distance To:
Author ID: diaconescu.denisa Recent zbMATH articles by "Diaconescu, Denisa"
Published as: Diaconescu, D.; Diaconescu, Denisa
Documents Indexed: 16 Publications since 2007

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 50 times in 44 Documents Cited by Year
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045
Diaconescu, Denisa; Georgescu, George
24
2007
Lexicographic MV-algebras and lexicographic states. Zbl 1315.06014
Diaconescu, Denisa; Flaminio, Tommaso; Leuştean, Ioana
9
2014
The Riesz hull of a semisimple MV-algebra. Zbl 1363.06013
Diaconescu, D.; Leuştean, I.
5
2015
Axiomatizing a real-valued modal logic. Zbl 1400.03039
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
3
2016
Skolemization for substructural logics. Zbl 06528769
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 07041828
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
A real-valued modal logic. Zbl 06841178
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
1
2018
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
1
2010
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 07041828
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
A real-valued modal logic. Zbl 06841178
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.
5
2015
Skolemization for substructural logics. Zbl 06528769
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Lexicographic MV-algebras and lexicographic states. Zbl 1315.06014
Diaconescu, Denisa; Flaminio, Tommaso; Leuştean, Ioana
9
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
1
2010
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045
Diaconescu, Denisa; Georgescu, George
24
2007

Citations by Year