Structural Completeness in bi-IPC
Logic
2025-08-11 v1
Abstract
In this note we show that no extension of bi-intuitionistic logic, except for classical logic, is structurally complete; indeed, none of them are passively structurally complete. A direct proof of active structural completeness is given for some simple systems.
Keywords
Cite
@article{arxiv.2508.05682,
title = {Structural Completeness in bi-IPC},
author = {Rodrigo Nicolau Almeida and Nick Bezhanishvili},
journal= {arXiv preprint arXiv:2508.05682},
year = {2025}
}
Comments
3 pages