Results 1 to 10 of about 108 (80)
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 +3 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 +3 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 +2 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 +3 more sources
Distinguishing standard SBL‐algebras with involutive negations by propositional formulas
Mathematical Logic Quarterly, 2008 AbstractPropositional fuzzy logics given by a combination of a continuous SBL t‐norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t‐norms which, in combination with different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of ...
Haniková, Z. (Zuzana) +1 more
openaire +3 more sources
Negation and Involutive Adjunction
, 2005 This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of adjoint situation, which is named involutive adjunction.
Dosen, K., Petric, Z.
openaire +2 more sources
Residuated logics based on strict triangular norms with an involutive negation
Mathematical Logic Quarterly, 2006 AbstractIn general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t‐norms and their dual t‐conorms. Adding an involutive negation, these equations allow us to generate countably many logics
Cintula, P. (Petr) +3 more
openaire +3 more sources
Generalized fuzzy variable precision rough sets based on bisimulations and the corresponding decision-making. [PDF]
Int J Mach Learn Cybern, 2022 Zhang L, Zhu P.
europepmc +1 more source
Some of the next articles are maybe not open access.
Multi-adjoint lattices from adjoint triples with involutive negation
Fuzzy Sets and Systems, 2021zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nicolás Madrid, Manuel Ojeda-Aciego
openaire +2 more sources
Negation and affirmation: the role of involutive negators
Soft Computing, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maes, Koen C., De Baets, Bernard
openaire +2 more sources