Ioana Leuştean

From MaRDI portal
(Redirected from Person:818517)



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!

PublicationDate of PublicationType
Many-sorted hybrid modal languages
Journal of Logical and Algebraic Methods in Programming
2021-06-25Paper
On the semisimple tensor product of MV-algebras
Fuzzy Sets and Systems
2021-06-24Paper
A many-sorted polyadic modal logic
Fundamenta Informaticae
2020-11-16Paper
Operational semantics and program verification using many-sorted hybrid modal logic
(available as arXiv preprint)
2020-05-14Paper
A general view on normal form theorems for Łukasiewicz logic with product
Concepts of Proof in Mathematics, Philosophy, and Computer Science
2020-04-03Paper
Mutually exclusive nuances of truth in Moisil logic
Scientific Annals of Computer Science
2019-02-08Paper
Infinitary logic and basically disconnected compact Hausdorff spaces
Journal Of Logic And Computation
2019-01-31Paper
Notes on divisible MV-algebras
Soft Computing
2018-03-07Paper
An analysis of the logic of Riesz spaces with strong unit
Annals of Pure and Applied Logic
2018-01-11Paper
Stochastic independence for probability MV-algebras
Fuzzy Sets and Systems
2017-11-14Paper
Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
Fuzzy Sets and Systems
2017-11-10Paper
Scalar extensions for algebraic structures of Łukasiewicz logic.
Journal of Pure and Applied Algebra
2015-12-08Paper
Łukasiewicz logic and Riesz spaces.
Soft Computing
2015-11-30Paper
The Riesz hull of a semisimple MV-algebra
Mathematica Slovaca
2015-11-26Paper
Lexicographic MV-algebras and lexicographic states.
Fuzzy Sets and Systems
2015-06-24Paper
A general view of the algebraic semantics of \L ukasiewicz logic with product2014-11-18Paper
Adding real coefficients to Łukasiewicz logic: an application to neural networks
Fuzzy Logic and Applications
2014-09-15Paper
scientific article; zbMATH DE number 6276271 (Why is no real title available?)2014-04-01Paper
Hahn-Banach theorems for MV-algebras
Soft Computing
2013-08-05Paper
Riesz MV-algebras and their logic
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011)
2013-01-15Paper
Extension of probabilities defined on MV-algebras2012-12-19Paper
State-complete Riesz MV-algebras and L-measure spaces
Communications in Computer and Information Science
2012-11-28Paper
Tensor products of probability MV-algebras2012-04-26Paper
Metric completions of MV-algebras with states: an approach to stochastic independence
Journal Of Logic And Computation
2011-06-20Paper
Algebra and probability in many-valued reasoning. A special issue of Studia Logica. Foreword
Studia Logica
2010-04-26Paper
A determination principle for algebras of \(n\)-valued Łukasiewicz logic
Journal of Algebra
2008-12-10Paper
Order convergence and distance on Łukasiewicz-Moisil algebras2008-07-01Paper
scientific article; zbMATH DE number 5234255 (Why is no real title available?)2008-02-11Paper
Similarity MV-algebras2006-06-19Paper
Non-commutative Łukasiewicz propositional logic
Archive for Mathematical Logic
2006-03-21Paper
Cauchy completions of MV-algebras.
Algebra Universalis
2005-04-19Paper
MV-algebras with operators (the commutative and the non-commutative case).
Discrete Mathematics
2004-01-26Paper
Tensor products of MV-algebras
Soft Computing
2003-08-31Paper
MV-modules
Journal of Algebra
2003-08-20Paper
scientific article; zbMATH DE number 1790407 (Why is no real title available?)2003-07-30Paper
Local pseudo MV-algebras
Soft Computing
2002-09-05Paper
Towards a probability theory based on Moisil logic
Soft Computing
2002-08-06Paper
Product MV-algebras and MV^*-algebras2002-05-05Paper
scientific article; zbMATH DE number 1543337 (Why is no real title available?)2001-02-27Paper
Probabilities on Lukasiewicz-Moisil algebras
International Journal of Approximate Reasoning
2000-03-02Paper
scientific article; zbMATH DE number 1234629 (Why is no real title available?)1999-09-13Paper
Convergence in perfect MV-algebras
Journal of Mathematical Analysis and Applications
1999-09-13Paper


Research outcomes over time


This page was built for person: Ioana Leuştean