Results 1 to 10 of about 83,900 (102)
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. Recently the class of pd-independent linear negators has been introduced and characterized using Yager’s negator.
Ildar Z. Batyrshin
doaj +6 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.
Mascaro O, Morin O.
europepmc +2 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
Guillaume Munch-Maccagnoni
openaire +3 more sources
Groups of negations on the unit square. [PDF]
ScientificWorldJournal, 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 ...
Wu J.
europepmc +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 +4 more sources
Hidden modalities in algebras with negation and implication [PDF]
, 2013 Lukasiewicz 3-valued logic may be seen as a logic with hidden truthfunctional modalities de ned by A := :A ! A and A := :(A ! :A). It is known that axioms (K), (T), (B), (D), (S4), (S5) are provable for these modalities, and rule (RN) is admissible. We
Järvinen, Jouni +3 more
core +2 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
Interval-valued contractive fuzzy negations [PDF]
, 2010 In this work we consider the concept of contractive interval-valued fuzzy negation, as a negation such that it does not increase the length or amplitude of an interval. We relate this to the concept of Lipschitz function. In particular, we prove that the
Bedregal, Benjamin +4 more
core +1 more source