952 research outputs found
Neutrality and Many-Valued Logics
In this book, we consider various many-valued logics: standard, linear,
hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We
survey also results which show the tree different proof-theoretic frameworks
for many-valued logics, e.g. frameworks of the following deductive calculi:
Hilbert's style, sequent, and hypersequent. We present a general way that
allows to construct systematically analytic calculi for a large family of
non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and
p-adic valued logics characterized by a special format of semantics with an
appropriate rejection of Archimedes' axiom. These logics are built as different
extensions of standard many-valued logics (namely, Lukasiewicz's, Goedel's,
Product, and Post's logics). The informal sense of Archimedes' axiom is that
anything can be measured by a ruler. Also logical multiple-validity without
Archimedes' axiom consists in that the set of truth values is infinite and it
is not well-founded and well-ordered. On the base of non-Archimedean valued
logics, we construct non-Archimedean valued interval neutrosophic logic INL by
which we can describe neutrality phenomena.Comment: 119 page
On aggregation operators of transitive similarity and dissimilarity relations
Similarity and dissimilarity are widely used concepts. One of the most studied matters is their combination or aggregation. However, transitivity property is often ignored when aggregating despite being a highly important property, studied by many authors but from different points of view. We collect here some results in preserving transitivity when aggregating, intending to clarify the relationship between aggregation and transitivity and making it useful to design aggregation operators that keep transitivity property. Some examples of the utility of the results are also shown.Peer ReviewedPostprint (published version
Distances between States and between Predicates
This paper gives a systematic account of various metrics on probability
distributions (states) and on predicates. These metrics are described in a
uniform manner using the validity relation between states and predicates. The
standard adjunction between convex sets (of states) and effect modules (of
predicates) is restricted to convex complete metric spaces and directed
complete effect modules. This adjunction is used in two state-and-effect
triangles, for classical (discrete) probability and for quantum probability
Fuzzy implication functions based on powers of continuous t-norms
The modification (relaxation or intensification) of the antecedent or the consequent in a fuzzy “If, Then” conditional is an important asset for an expert in order to agree with it. The usual method to modify fuzzy propositions is the use of Zadeh's quantifiers based on powers of t-norms. However, the invariance of the truth value of the fuzzy conditional would be a desirable property when both the antecedent and the consequent are modified using the same quantifier. In this paper, a novel family of fuzzy implication functions based on powers of continuous t-norms which ensure the aforementioned property is presented. Other important additional properties are analyzed and from this study, it is proved that they do not intersect the most well-known classes of fuzzy implication functions.Peer ReviewedPostprint (author's final draft
- …