ZmP6L3vkSwLPweKqvAMtXiBrLrkDJ13zbfGIxy3h975OzfPFIDhxiROthciA
Current position: Home >> Scientific Research >> Paper Publications

Cirquent Calculus System Cl8s Versus Calculus of Structures System Sksg For Propositional Logic

Hits:

Title of Paper:Cirquent Calculus System Cl8s Versus Calculus of Structures System Sksg For Propositional Logic

Journal:Quantitative Logic And Soft Computing

Correspondence Author:许文艳

Volume:5

Page Number:144-149

Translation or Not:No

Date of Publication:2012-01-01

Date:2024-04-08

Prev One:任务逻辑中的定理

Next One:A two-universe model of three-way decision with ranking and reference tuple