Results 1 to 10 of about 1,206 (89)
Contracting and Involutive Negations of Probability Distributions [PDF]
Mathematics, 2021 A dozen papers have considered the concept of negation of probability distributions (pd) introduced by Yager. Usually, such negations are generated point-by-point by functions defined on a set of probability values and called here negators.
Ildar Z. Batyrshin
doaj +5 more sources
Groups of Negations on the Unit Square [PDF]
The Scientific World Journal, 2014 The main results are about the groups of the negations on the unit square, which is considered as a bilattice. It is proven that all the automorphisms on it form a group; the set, containing the monotonic isomorphisms and the strict negations of the ...
Jiachao Wu
doaj +2 more sources
Epistemology for Beginners: Two- to Five-Year-Old Children's Representation of Falsity. [PDF]
PLoS ONE, 2015 This paper investigates the ontogeny of human's naive concept of truth. Surprisingly, children find it hard to treat assertions as false before their fifth birthday.
Olivier Mascaro, Olivier Morin
doaj +2 more sources
Fuzzy logics with an additional involutive negation
Fuzzy Sets and Systems, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cintula, P. (Petr) +3 more
openaire +5 more sources
Residuated fuzzy logics with an involutive negation
Archive for Mathematical Logic, 2000 Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant 0̄, namely ¬φ is φ → 0̄.
Esteva, Francesc +3 more
openaire +5 more sources
Formulae-as-types for an involutive negation [PDF]
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014 Negation is not involutive in the λC calculus because it does not distinguish captured stacks from continuations. We show that there is a formulae-as-types correspondence between the involutive negation in proof theory, and a notion of high-level access to the stacks studied by Felleisen and Clements. We introduce polarised, untyped, calculi compatible
openaire +4 more sources
Bipolar Dissimilarity and Similarity Correlations of Numbers
Mathematics, 2022 Many papers on fuzzy risk analysis calculate the similarity between fuzzy numbers. Usually, they use symmetric and reflexive similarity measures between parameters of fuzzy sets or “centers of gravity” of generalized fuzzy numbers represented by real ...
Ildar Z. Batyrshin, Edit Tóth-Laufer
doaj +1 more source
Logical Methods in Computer Science, 2017 We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a simple system relying on the involutive status of negation. The second one incorporates the notion
Olivier Laurent
doaj +1 more source
Involutive Categories and Monoids, with a GNS-correspondence [PDF]
, 2010 This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids.
A. Dvurečenskij +21 more
core +4 more sources
Implication functions in interval-valued fuzzy set theory [PDF]
, 2013 Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees.
Deschrijver, Glad
core +1 more source