Tense operators on MV-algebras and Łukasiewicz-Moisil algebras D Diaconescu, G Georgescu Fundamenta Informaticae 81 (4), 379-408, 2007 | 61 | 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 | 14 | 2007 |

Lexicographic MV-algebras and lexicographic states D Diaconescu, T Flaminio, I Leuştean Fuzzy Sets and Systems 244, 63-85, 2014 | 8 | 2014 |

Axiomatizing a Real-Valued Modal Logic. D Diaconescu, G Metcalfe, L Schnüriger Advances in Modal Logic, 236-251, 2016 | 7 | 2016 |

The Riesz hull of a semisimple MV-algebra D Diaconescu, I Leuștean Mathematica Slovaca 65 (4), 801-816, 2015 | 7 | 2015 |

Skolemization for substructural logics P Cintula, D Diaconescu, G Metcalfe Logic for Programming, Artificial Intelligence, and Reasoning, 1-15, 2015 | 6 | 2015 |

Refinement of structured interactive systems D Diaconescu, L Petre, K Sere, G Stefanescu International Colloquium on Theoretical Aspects of Computing, 133-150, 2014 | 5 | 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 | 5 | 2012 |

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 | 5 | 2010 |

Omitting Types Theorem for Fuzzy Logics P Cintula, D Diaconescu IEEE Transactions on Fuzzy Systems 27 (2), 273-277, 2018 | 3 | 2018 |

Mutually exclusive nuances of truth in Moisil logic D Diaconescu, I Leustean arXiv preprint arXiv:1412.3008, 2014 | 3 | 2014 |

Forcing operators on MTL‐algebras D Diaconescu, G Georgescu Mathematical Logic Quarterly 57 (1), 47-64, 2011 | 3 | 2011 |

A real-valued modal logic D Diaconescu, G Metcalfe, L Schnüriger arXiv preprint arXiv:1706.02854, 2017 | 2 | 2017 |

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 | 1 | 2014 |

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 | 1 | 2014 |

Non-commutative Fuzzy Logic psMTL-An Alternative Proof for the Standard Completeness Theorem. D Diaconescu IJCCI, 350-356, 2012 | 1 | 2012 |

Non-commutative Product Logic and Probability of Fuzzy Events D Diaconescu Advances in Computational Intelligence, 194-205, 2012 | 1 | 2012 |

Completeness of Paramodulation without lifting lemma VE Cazanescu, D Diaconescu SCIENCE AND TECHNOLOGY 12 (1), 25-34, 2009 | 1 | 2009 |

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 |