31 results on '"DIACONESCU, DENISA"'
Search Results
2. Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems
3. A Real-Valued Modal Logic
4. Mutually exclusive nuances of truth in Moisil logic
5. The Riesz hull of a semisimple MV-algebra
6. Asynchronous Muddy Children Puzzle (work in progress)
7. On Standard Completeness for Non-commutative Many-Valued Logics
8. Skolemization for Substructural Logics
9. Exploring Infinitesimal Events through MV-algebras and non-Archimedean States
10. Refinement of Structured Interactive Systems
11. A Logical Descriptor for Regular Languages via Stone Duality
12. Non-commutative Product Logic and Probability of Fuzzy Events
13. Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems
14. Lexicographic MV-algebras and lexicographic states
15. Skolemization for Substructural Logics
16. Exploring Infinitesimal Events through MV-algebras and non-Archimedean States
17. A Logical Descriptor for Regular Languages via Stone Duality
18. Refinement of Structured Interactive Systems
19. Formalizing Correct-by-Construction Casper in Coq
20. Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
21. Skolemization and Herbrand theorems for lattice-valued logics
22. Omitting Types Theorem for Fuzzy Logics
23. Towards game semantics for nuanced logics
24. A REAL-VALUED MODAL LOGIC.
25. Mutually Exclusive Nuances of Truth in Moisil Logic
26. On the Forcing Semantics for Monoidal t-norm Based Logic
27. Forcing operators on MTL-algebras.
28. Kripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic.
29. Tense Operators on MV-Algebras and Łukasiewicz-Moisil Algebras.
30. A real-valued modal logic
31. Skolemization and Herbrand Theorems for Lattice-Valued Logics
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.