Denisa Diaconescu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations Fundamenta Informaticae	2020-11-16	Paper
Exploring infinitesimal events through MV-algebras and non-Archimedean states Information Processing and Management of Uncertainty in Knowledge-Based Systems	2019-08-20	Paper
Skolemization and Herbrand theorems for lattice-valued logics Theoretical Computer Science	2019-03-26	Paper
Mutually exclusive nuances of truth in Moisil logic Scientific Annals of Computer Science	2019-02-08	Paper
scientific article; zbMATH DE number 6863647 (Why is no real title available?)	2018-04-23	Paper
scientific article; zbMATH DE number 6841178 (Why is no real title available?) (available as arXiv preprint)	2018-02-20	Paper
On standard completeness for non-commutative many-valued logics Studies in Computational Intelligence	2016-11-08	Paper
Skolemization for Substructural Logics Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
The Riesz hull of a semisimple MV-algebra Mathematica Slovaca	2015-11-26	Paper
Lexicographic MV-algebras and lexicographic states. Fuzzy Sets and Systems	2015-06-24	Paper
A Logical Descriptor for Regular Languages via Stone Duality Theoretical Aspects of Computing – ICTAC 2014	2015-01-13	Paper
Refinement of structured interactive systems Theoretical Aspects of Computing – ICTAC 2014	2015-01-13	Paper
Non-commutative product logic and probability of fuzzy events Communications in Computer and Information Science	2012-11-28	Paper
scientific article; zbMATH DE number 6028054 (Why is no real title available?)	2012-04-26	Paper
Forcing operators on MTL-algebras Mathematical Logic Quarterly	2011-02-22	Paper
Tense operators on MV-algebras and Łukasiewicz-Moisil algebras	2008-03-03	Paper

Research outcomes over time

This page was built for person: Denisa Diaconescu