Demonic fuzzy operators

Authors:
Huda Alrashidi;Fairouz Tchier
Affiliations:
Mathematics department, King Saud University, Riyadh, Saudi Arabia;Mathematics department, King Saud University, Riyadh, Saudi Arabia
Venue:
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
Year:
2010

Citing 16
Cited 0

Relational algebraic semantics of deterministic and nondeterministic programs

Theoretical Computer Science
Relational heuristics for the design of deterministic programs

Acta Informatica
Laws of programming

Communications of the ACM
Combining angels, demons and miracles in program specifications

Theoretical Computer Science
Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
A relational division operator: the conjugate kernel

Theoretical Computer Science
Embedding a demonic semilattice in a relation algebra

Theoretical Computer Science
Relation-algebraic semantics

Theoretical Computer Science
Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
Relational semantics for locally nondeterministic programs

New Generation Computing
A generalized control structure and its formal definition

Communications of the ACM
Princples of Computer Programming

Princples of Computer Programming
A Discipline of Programming

A Discipline of Programming
A Calculus for Predicative Programming

Proceedings of the Second International Conference on Mathematics of Program Construction
Kleene under a Demonic Star

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Similarity relations and fuzzy orderings

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

We deal with a relational algebra model to define a refinement fuzzy ordering (demonic fuzzy inclusion) and also the associated fuzzy operations which are fuzzy demonic join (∪fuz), fuzzy demonic meet (∩fuz) and fuzzy demonic composition ( □fuz). We give also some properties of these operations, and illustrate them with simple examples. Our formalism is the relational algebra.