SMTL命题逻辑系统相关论文
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴......
基于左连续三角模的逻辑MTL,同样也是基于正则蕴涵算子的逻辑,其中左连续三角模和正则蕴涵算子是互为伴随对的,并且它们在同一个模......