n值标准序列逻辑系统Sn的子代数及其重言式理论
n치표준서렬라집계통Sn적자대수급기중언식이론
The Subalgebra and Tautology in n-valued Logic System Sn
  • 万方数据
    重庆文理学院学报（自然科学版） 중경문이학원학보（자연과학판）
    JOURNAL OF CHONGQING UNIVERSITY OF ARTS AND SCIENCES
    2008年 5期 9-11 ,共3页

    隋云云

    수운운

    逻辑系统%子代数%重言式 邏輯繫統%子代數%重言式
    라집계통%자대수%중언식
    讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.
    토론료n치표준서렬라집계통Sn,급출료판단기자대수적충요조건,병비교료불동적라집계통Sn중적중언식,동시급출료라집계통Sn중판단공식불시중언식적충분조건.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문