| 罗萨和图尔克特对卢卡西维茨多值逻辑系统的改进 |
| |
| 引用本文： | 梁彪.罗萨和图尔克特对卢卡西维茨多值逻辑系统的改进[J].中山大学学报论丛,2000(2). |
| |
| 作者姓名： | 梁彪 |
| |
| 作者单位： | 中山大学哲学系 广东 |
| |
| 摘 要： | 多值逻辑是一门正在发展中的逻辑分支,无论是多值逻辑的形式系统,还是多值逻辑的语义解释都处于研究之中。本文对罗萨和图尔克特对卢卡西维茨多值逻辑的改进做综述性的介绍,通过比较的方式,说明罗萨和图尔克特的否定跟卢卡西维茨的否定之间的特点与作用,罗萨和图尔克特的公理系统与华兹堡的三值逻辑公理系统之间的同异与优劣。
|
| 关 键 词： | 多值逻辑 J函项 否定 公理系统 |
An Improvement On The Lukasiewicz Many-valued Logics |
| |
| LIANG Biao.An Improvement On The Lukasiewicz Many-valued Logics[J].Supplement to the Journal of Sun Yatsen University,2000(2). |
| |
| Authors: | LIANG Biao |
| |
| Abstract: | In this paper, we induce the concept of J-fiinction which given by Rosser and Turquett who made an improvement on the Lukasiewicz many-valued logics . We discuss the difference between the negations which defined by Lukasiewicz and Rosser and Turquett, compare the three-valued logic of the Lukasiewicz axioms which given by Warjberg with the three-valued logic axioms which given by Rosser and Turquett, and show that the axioms which constructed by Rosser and Turquett are favorable for the proof of the completeness of the Lukasiewicz axioms. |
| |
| Keywords: | many-valued logics J-function negation axiomatic systems |
| 本文献已被 CNKI 等数据库收录！ |
|
