1. Issues on adjointness in multiple-valued logics
- Author
-
Nehad N. Morsi and Elewa M. Roshdy
- Subjects
Discrete mathematics ,Information Systems and Management ,Inference ,Computer Science::Artificial Intelligence ,Computer Science Applications ,Theoretical Computer Science ,Conjunction (grammar) ,Algebra ,Artificial Intelligence ,Control and Systems Engineering ,Close relationship ,Rule of inference ,Modus ponens ,Commutative property ,Software ,Locard's exchange principle ,Associative property ,Mathematics - Abstract
We contribute to the theory of implications and conjunctions related by adjointness, in multiple-valued logics. We suggest their use in Zadeh's compositional rule of inference, to interpret generalized modus ponens inference schemata. We provide new complete characterizations of implications that distinguish left arguments, implications that satisfy the exchange principle, divisible conjunctions, commutative conjunctions, associative conjunctions and triangular norms. We also introduce and characterize pseudo-strict and pseudo-continuous implications and conjunctions, and we explore the close relationship between these two notions.
- Published
- 2006
- Full Text
- View/download PDF