Issues on adjointness in multiple-valued logics |
| |
Authors: | Nehad N. Morsi Elewa M. Roshdy |
| |
Affiliation: | a Department of Basic Sciences, Arab Academy for Science, Technology and Maritime Transport, P.O. Box 2033, Al-Horraya, Heliopolis, Cairo, Egypt b Department of Mathematics, Military Technical College, Cairo, Egypt |
| |
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. |
| |
Keywords: | Non-classical logics Implication Conjunction Adjointness Generalized modus ponens |
本文献已被 ScienceDirect 等数据库收录! |
|