Abstract
We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
