Although there have been quite a number of theoretical and practical studies where axiomatic design (AD) principles have been used in the last few years, there is a lack of a comprehensive literature survey which evaluates and classifies these papers. This study provides a recognizable overview of literature on AD principles from the past 20 years and introduces a novel classification scheme co...

When the first operation’s inverse axiom is deleted from ring, an algebraic structure, semiring, generated. Subsemiring one of subjects covered in semiring. The concepts fuzzy subsemiring, anti subsemiring and complement are introduced this paper. In addition, anti-subsemiring a wedge, or combination two more associated with non-empty subset semiring whose membership criteria defined by value z...

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the Basic Logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models...

We formalize reasoning about fuzzy belief and fuzzy common belief, especially incomparable beliefs, in multi-agent systems by using a logical system based on Fitting’s many-valued modal logic, where incomparable beliefs mean beliefs whose degrees are not totally ordered. Completeness and decidability results for the logic of fuzzy belief and common belief are established while implicitly exploi...

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theor...

Goguen categories were introduced as a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice L instead of the unit interval [0, 1] of the real numbers. In this paper we want to study the algebraic structures derived from Goguen categories by replacing its second-order axiom by some weaker versions.

philosophers from one hand take the “al-vahed” axiom for granted, and on the other hand, they assume that the almighty to be of absolute power. now the question is whether: this is at odds with the “al- vahed” axiom? how can we accept at the same time the absolute power of the almighty and the “al-vahed” axiom? we should say here: majority of philosophers, mystics and kalam specialists have cla...

Information aggregation is one of the key issues in development of intelligent systems. Although fuzzy set theory provides a host of attractive aggregation operators for integrating the membership values representing uncertain information, the results do not always follow the modeled real phenomena. Researches on this area have shown that better results can be reached by using various aggregati...

Developing computer software system is a crucial part of the intelligent design. In order to solve problems presented in software system quality analysis, this paper proposes a quality analysis model for computer software system based on fuzzy information content. In this model, fuzzy information content of quality analysis indicators is defined according to information axiom, and a software sy...

Imprecise choices can be described using either a probabilistic or a fuzzy formalism. No relation between them has been studied so far. In this contribution we present a connection between the two formalisms that strongly makes use of fuzzy implication operators and t-norms. In this framework, Luce’s Choice Axiom turns out to be a special case when the product t-norm is considered and other sim...