积逻辑系统中的广义重言式(英文)
Generalized Tautologies in Product Logical Systems作者机构:西安交通大学理学院 甘肃工业大学基础科学系甘肃兰州730050
出 版 物:《模糊系统与数学》 (Fuzzy Systems and Mathematics)
年 卷 期:2002年第16卷第4期
页 面:19-27页
核心收录:
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
摘 要:讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。