On a proof theoretical semantics for bilateral classical logic

On a proof theoretical semantics for bilateral classical logic

24b83045f3e82fb02ee8211b46a2e6de?s=128

Yoriyuki Yamagata

November 30, 2019
Tweet