Associatively tied implications. (Q1811575): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Atef Abdel-Aziz Abdel-Hamid / rank | |||
Property / author | |||
Property / author: Atef Abdel-Aziz Abdel-Hamid / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4338285 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4506418 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract residuation over lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy sets in approximate reasoning. II: Logical approaches / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The three semantics of fuzzy sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On fuzzy implication operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new look at fuzzy connectives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contrapositive symmetry of fuzzy implications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4315286 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foundations of fuzzy reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3898534 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The logic of inexact concepts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2702341 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4165427 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Propositional calculus under adjointness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4805593 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3336431 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3962970 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Outline of a New Approach to the Analysis of Complex Systems and Decision Processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy sets as a basis for a theory of possibility / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0165-0114(02)00268-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2011071624 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:51, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Associatively tied implications. |
scientific article |
Statements
Associatively tied implications. (English)
0 references
17 June 2003
0 references
The paper deals with algebras proper for the development of fuzzy logic. The basic algebra is a partially ordered set with a top element 1 endowed by an implication triple \((A, K, H)\) where \(A\) is an implication (antitone in the left argument, isotone in the right and has 1 as a left identity element), \(K\) is a conjunction and \(H\) is a forcing implication so that the adjointness condition holds: \[ \beta \leq A(\alpha, \gamma) \text{ iff } K(\alpha, \beta)\leq \gamma \text{ iff }\alpha \leq H(\beta, \gamma). \] An implication operator \(A\) on a complete lattice \(L\) is associatively tied if there is a binary operation \(T\) on \(L\) that ties \(A\), i.e. the identity \(A(\alpha, A(\beta, \gamma))= A(T(\alpha, \beta), \gamma)\) holds for all \(\alpha, \beta, \gamma\in L\). The authors show that there exists a binary operation \(T_A\) that ties \(A\). Properties of this operation are studied. Characterizations for the validity of associative tiedness for an implication \(A\) are sought.
0 references
fuzzy logic
0 references
fuzzy connectives
0 references
adjointness
0 references