逻辑系统Ln^＊相关论文
在模糊命题系统Ln^＊中,利用公式A的原子公式集SA与有限理论Γ的原子公式集SΓ之间的关系,讨论了公式A的ΣΓ-真度,给出了当SΓSA......
将模糊命题逻辑中的∑-a-重言式理论与计量逻辑学中的真度理论相结合，在模糊命题逻辑系统Ln^＊中引入了公式集相对于有限理论的∑r-模......
