Follow
Denisa Diaconescu
Denisa Diaconescu
University of Bucharest, Faculty of Mathematics and Computer Science
Verified email at fmi.unibuc.ro - Homepage
Title
Cited by
Cited by
Year
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
D Diaconescu, G Georgescu
Fundamenta Informaticae 81 (4), 379-408, 2007
822007
On the Forcing Semantics for Monoidal t-norm Based Logic
D Diaconescu, G Georgescu
Journal of Universal Computer Science 13 (11), 1550-1572, 2007
172007
A real-valued modal logic
D Diaconescu, G Metcalfe, L Schnüriger
Logical Methods in Computer Science 14, 2018
142018
Lexicographic MV-algebras and lexicographic states
D Diaconescu, T Flaminio, I Leuştean
Fuzzy Sets and Systems 244, 63-85, 2014
142014
Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations
D Diaconescu
Fundamenta Informaticae 173 (2-3), 177-189, 2020
132020
Omitting types theorem for fuzzy logics
P Cintula, D Diaconescu
IEEE Transactions on Fuzzy Systems 27 (2), 273-277, 2018
102018
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
102010
Axiomatizing a Real-Valued Modal Logic.
D Diaconescu, G Metcalfe, L Schnüriger
Advances in Modal Logic, 236-251, 2016
82016
The Riesz hull of a semisimple MV-algebra
D Diaconescu, I Leuștean
Mathematica Slovaca 65 (4), 801-816, 2015
82015
Skolemization for substructural logics
P Cintula, D Diaconescu, G Metcalfe
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
72015
Refinement of structured interactive systems
D Diaconescu, L Petre, K Sere, G Stefanescu
Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014
72014
Formalizing correct-by-construction casper in coq
E Li, T Serbănută, D Diaconescu, V Zamfir, G Rosu
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-3, 2020
62020
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
62012
Skolemization and Herbrand theorems for lattice-valued logics
P Cintula, D Diaconescu, G Metcalfe
Theoretical Computer Science 768, 54-75, 2019
42019
Mutually exclusive nuances of truth in Moisil logic
D Diaconescu, I Leustean
arXiv preprint arXiv:1412.3008, 2014
42014
Forcing operators on MTL‐algebras
D Diaconescu, G Georgescu
Mathematical Logic Quarterly 57 (1), 47-64, 2011
32011
Exploring infinitesimal events through MV-algebras and non-Archimedean states
D Diaconescu, AR Ferraioli, T Flaminio, B Gerla
Information Processing and Management of Uncertainty in Knowledge-Based …, 2014
22014
Completeness of Paramodulation without lifting lemma
VE Cazanescu, D Diaconescu
SCIENCE AND TECHNOLOGY 12 (1), 25-34, 2009
22009
Towards game semantics for nuanced logics
D Diaconescu, I Leuştean
2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-6, 2017
12017
A Logical Descriptor for Regular Languages via Stone Duality
S Aguzzoli, D Diaconescu, T Flaminio
Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20