2Bp4S2ZtmTrihLGVehcwughoAEayGuWHbmDe0QstSoiCa6hmyvhy3wLOJZBA
Current position: Home >> Scientific Research >> Paper Publications

Deduction Theorem For Symmetric Cirquent Calculus

Hits:

Title of Paper:Deduction Theorem For Symmetric Cirquent Calculus

Journal:Quantitative Logic And Soft Computing 2010, Vol 2

Correspondence Author:许文艳

Volume:82

Page Number:121-126

Translation or Not:No

Date of Publication:2010-01-01

Date:2024-04-08

Prev One:可计算性逻辑中若干形式系统及算子的研究

Next One:命题逻辑公式的压缩表示及其相应的形式系统