Denisa Diaconescu
Denisa Diaconescu
University of Bucharest, Faculty of Mathematics and Computer Science
Verified email at fmi.unibuc.ro - Homepage
TitleCited byYear
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
D Diaconescu, G Georgescu
Fundamenta Informaticae 81 (4), 379-408, 2007
612007
On the Forcing Semantics for Monoidal t-norm Based Logic
D Diaconescu, G Georgescu
Journal of Universal Computer Science 13 (11), 1550-1572, 2007
142007
Lexicographic MV-algebras and lexicographic states
D Diaconescu, T Flaminio, I Leuştean
Fuzzy Sets and Systems 244, 63-85, 2014
82014
Axiomatizing a Real-Valued Modal Logic.
D Diaconescu, G Metcalfe, L Schnüriger
Advances in Modal Logic, 236-251, 2016
72016
The Riesz hull of a semisimple MV-algebra
D Diaconescu, I Leuștean
Mathematica Slovaca 65 (4), 801-816, 2015
72015
Skolemization for substructural logics
P Cintula, D Diaconescu, G Metcalfe
Logic for Programming, Artificial Intelligence, and Reasoning, 1-15, 2015
62015
Refinement of structured interactive systems
D Diaconescu, L Petre, K Sere, G Stefanescu
International Colloquium on Theoretical Aspects of Computing, 133-150, 2014
52014
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems
D Diaconescu, I Leustean, L Petre, K Sere, G Stefanescu
Integrated Formal Methods, 221-236, 2012
52012
Kripke-style semantics for non-commutative monoidal t-norm logic
D Diaconescu
Journal of Multiple-Valued Logic and Soft Computing 16 (3-5), 247-263, 2010
52010
Omitting Types Theorem for Fuzzy Logics
P Cintula, D Diaconescu
IEEE Transactions on Fuzzy Systems 27 (2), 273-277, 2018
32018
Mutually exclusive nuances of truth in Moisil logic
D Diaconescu, I Leustean
arXiv preprint arXiv:1412.3008, 2014
32014
Forcing operators on MTL‐algebras
D Diaconescu, G Georgescu
Mathematical Logic Quarterly 57 (1), 47-64, 2011
32011
A real-valued modal logic
D Diaconescu, G Metcalfe, L Schnüriger
arXiv preprint arXiv:1706.02854, 2017
22017
A logical descriptor for regular languages via Stone duality
S Aguzzoli, D Diaconescu, T Flaminio
International Colloquium on Theoretical Aspects of Computing, 25-42, 2014
12014
Exploring Infinitesimal Events through MV-algebras and non-Archimedean States
D Diaconescu, AR Ferraioli, T Flaminio, B Gerla
International Conference on Information Processing and Management of …, 2014
12014
Non-commutative Fuzzy Logic psMTL-An Alternative Proof for the Standard Completeness Theorem.
D Diaconescu
IJCCI, 350-356, 2012
12012
Non-commutative Product Logic and Probability of Fuzzy Events
D Diaconescu
Advances in Computational Intelligence, 194-205, 2012
12012
Completeness of Paramodulation without lifting lemma
VE Cazanescu, D Diaconescu
SCIENCE AND TECHNOLOGY 12 (1), 25-34, 2009
12009
Skolemization and Herbrand theorems for lattice-valued logics
P Cintula, D Diaconescu, G Metcalfe
Theoretical computer science 768, 54-75, 2019
2019
A Real-Valued Modal Logic
L Schnüriger, G Metcalfe, D Diaconescu
Logical Methods in Computer Science 14, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20