悖论逻辑的表演算

悖论逻辑ｌｐ是一个超协调逻辑，发展超协调逻辑（ｌｐ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ｌｐ中不再有效；极小悖论逻辑ｌｐｍ能克服这个缺点，使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ｌｐ和ｌｐｍ原来都只给出语义定义，虽然已有ｌｐ的证明论，但如何得到一个ｌｐｍ的证明论仍是一个未解问题．本文提出了一种可靠与完全的表演算作为ｌｐ与ｌｐｍ的证明论．