A bilateral Hilbert-style investigation of 2-intuitionistic logic

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	665-692
Number of pages	28
Journal	Journal of logic and computation
Volume	29
Issue number	5
DOIs	https://doi.org/10.1093/logcom/exz010
Publication status	Published - 1 Sept 2019

2-intuitionistic logic, Hilbert-style calculi, rejection, bilateralism, definitional equivalence, NEGATION

ID: 23290027