An interpretation of infinite valued for medium propositional logic
暂无分享,去创建一个
[1] Zhenhua Pan. On the reliability of the predical calculus system (MF) of medium logic , 1989, Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic.
[2] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[3] Xiao Xian,et al. The non-increment of Minkovski distance of propositional connectives in system MP , 1989, Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic.
[4] Pan Zheng. λ-Resolution of the Medium Predicate Logic System , 2003 .
[5] Atwell R. Turquette,et al. On the Many-Valued Logics , 1941 .
[6] X Xiao,et al. A SYSTEM OF MEDIUM AXIOMATIC SET THEORY , 1988 .