Issues on adjointness in multiple-valued logics (Q2509225): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 04:10, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Issues on adjointness in multiple-valued logics |
scientific article |
Statements
Issues on adjointness in multiple-valued logics (English)
0 references
19 October 2006
0 references
The paper deals with relating conjunctions to implications using adjointness in \((L,P)\)-valued logic, where \((L,\leq)\) and \((P,\leq)\) are complete lattices, interpreting two types of truth values. The paper starts with a synopsis of the basic results on the notion of residuation (= adjointness). This notion is used to enlarged the scope of choice of connectives in Zadeh's compositional rule of inference. New characterizations are given of implications that distinguish left arguments, implications that satisfy the exchange principle, divisible conjunctions, commutative conjunctions, associative conjunctions and triangular norms. Pseudo-strict and pseudo-continuous implications and conjunctions are introduced and the close relationship between these notions are explored.
0 references
implication
0 references
conjunction
0 references
adjointness
0 references
generalized modus ponens
0 references