首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号