Maximality of bi-intuitionistic propositional logic

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

Original language	English
Pages (from-to)	1-31
Number of pages	31
Journal	Journal of Logic and Computation
Volume	32
Issue number	1
DOIs	https://doi.org/10.1093/logcom/exab058
Publication status	Published - Jan 2022

Lindstrom theorem, bi-intuitionistic logic, abstract model theory, bi-asimulations, EXTENSIONS, CUT, Lindström theorem

ID: 29479282