Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
Research output: Contribution to journal › Conference article › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Journal | LIPIcs |
| Volume | 326 |
| Publication status | Published - 2025 |
| Peer-reviewed | Yes |