Abstract
Proof systems play a major role in the formal study of diagrammatic logical systems. Typically, the style of inference is not directly comparable to t......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
