%0 Journal Article
%T 悖论逻辑的表演算
%A 林作铨？
%A 李未？
%J 软件学报
%P 345-353
%D 1996
%X 悖论逻辑ｌｐ是一个超协调逻辑，发展超协调逻辑（ｌｐ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ｌｐ中不再有效；极小悖论逻辑ｌｐｍ能克服这个缺点，使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ｌｐ和ｌｐｍ原来都只给出语义定义，虽然已有ｌｐ的证明论，但如何得到一个ｌｐｍ的证明论仍是一个未解问题．本文提出了一种可靠与完全的表演算作为ｌｐ与ｌｐｍ的证明论．
%K 表演算
%K 超协调逻辑
%K 悖论逻辑
%K 极小悖论逻辑
%K 极小非协调模型
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960604&flag=1