The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the su-pervaluation approach of Fine and exploits the idea of a precisiication space. A simple language is presented with two modalities: a necessity operator and an operatorìt is unequivocal that' which is used to articulate the logic of vagueness. Both these operators obey th...

We define interval valued (∈,∈∨q)-fuzzy k-ideals, interval valued (∈,∈∨q)-fuzzy k-quasi-ideals, interval valued (∈,∈∨q)-fuzzy k-bi-ideals and characterize k-regular and k-intra regular hemirings by the properties of interval valued (∈,∈∨q)-fuzzy k-ideals, interval valued (∈,∈∨q)-fuzzy k-quasi-ideals and interval valued (∈,∈∨q)-fuzzy k-bi-ideals. 2010 mathematics subject classification: 16Y60 • ...

The concept of quasi-coincidence of interval valued fuzzy point with an interval valued fuzzy subset has considered. By using this idea, the notion of interval valued (α, β)-fuzzy hyperideal in a semihyperring introduced and consequently, a generalization of interval valued fuzzy hyperideals and interval valued fuzzy hyperideals have defined. In this paper, we study the related properties of th...

We first introduce the concept of interval-valued neutrosophic competition graphs. We then discuss certain types, including kcompetition interval-valued neutrosophic graphs, p-competition intervalvalued neutrosophic graphs and m-step interval-valued neutrosophic competition graphs. Moreover, we present the concept of m-step intervalvalued neutrosophic neighbourhood graphs. 2010 AMS Classificati...

Matrices play important roles in various areas in science and engineering. The classical matrix theory can not solve the problems involving various types of uncertainties. That type of problems are solved by using fuzzy matrix [14]. Later much works have been done by many researchers. Fuzzy matrix deals with only membership values. These matrices can not deal non membership values. Intuitionist...

We have developed a syntactic approach to representing knowledge within the situation calculus using interval arithmetic. Knowledge was first incorporated into the situation calculus using a possible-worlds approach. Unfortunately, this previous approach is not amenable to easy implementation. This is because it is not clear how to specify the initial situation as the number of possible worlds ...

Influence diagrams are probabilistic graphical models used to represent and solve sequential decision problems under uncertainty. Sharp numerical values are required to quantify probabilities and utilities. This might be an issue with real models, whose parameters are typically obtained from expert judgements or partially reliable data. We consider an interval-valued quantification of the param...