Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
Research article (Journal of Applied Logic, 2017) · cited 10× · AI/ML