Notion of validity for the bilateral classical logic

Ukyo Suzuki, Yoriyuki Yamagata

This paper explores proof-theoretic semantics, a formal approach to inferential semantics. It derives sentence meaning from formalized proofs, building upon Gentzen and Prawitz's w…