| Tense operators on MV-algebras and Łukasiewicz-Moisil algebras D Diaconescu, G Georgescu Fundamenta Informaticae 81 (4), 379-408, 2007 | 88 | 2007 |
| On the Forcing Semantics for Monoidal t-norm Based Logic D Diaconescu, G Georgescu Journal of Universal Computer Science 13 (11), 1550-1572, 2007 | 17 | 2007 |
| A real-valued modal logic D Diaconescu, G Metcalfe, L Schnüriger Logical Methods in Computer Science 14, 2018 | 16 | 2018 |
| Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations D Diaconescu Fundamenta Informaticae 173 (2-3), 177-189, 2020 | 14 | 2020 |
| Lexicographic MV-algebras and lexicographic states D Diaconescu, T Flaminio, I Leuştean Fuzzy Sets and Systems 244, 63-85, 2014 | 14 | 2014 |
| 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 | 11 | 2010 |
| Omitting types theorem for fuzzy logics P Cintula, D Diaconescu IEEE Transactions on Fuzzy Systems 27 (2), 273-277, 2018 | 10 | 2018 |
| 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 | 8 | 2020 |
| Axiomatizing a Real-Valued Modal Logic. D Diaconescu, G Metcalfe, L Schnüriger Advances in Modal Logic, 236-251, 2016 | 8 | 2016 |
| The Riesz hull of a semisimple MV-algebra D Diaconescu, I Leuștean Mathematica Slovaca 65 (4), 801-816, 2015 | 8 | 2015 |
| Skolemization for substructural logics P Cintula, D Diaconescu, G Metcalfe Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 7 | 2015 |
| Refinement of structured interactive systems D Diaconescu, L Petre, K Sere, G Stefanescu Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014 | 7 | 2014 |
| 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 | 6 | 2012 |
| Skolemization and Herbrand theorems for lattice-valued logics P Cintula, D Diaconescu, G Metcalfe Theoretical Computer Science 768, 54-75, 2019 | 4 | 2019 |
| Mutually exclusive nuances of truth in Moisil logic D Diaconescu, I Leustean arXiv preprint arXiv:1412.3008, 2014 | 4 | 2014 |
| Forcing operators on MTL‐algebras D Diaconescu, G Georgescu Mathematical Logic Quarterly 57 (1), 47-64, 2011 | 3 | 2011 |
| 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 | 2 | 2014 |
| Completeness of Paramodulation without lifting lemma VE Cazanescu, D Diaconescu SCIENCE AND TECHNOLOGY 12 (1), 25-34, 2009 | 2 | 2009 |
| Towards game semantics for nuanced logics D Diaconescu, I Leuştean 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-6, 2017 | 1 | 2017 |
| 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 | 1 | 2014 |
George MetcalfeProfessor of Mathematics, University of BernVerified email at unibe.ch
