Browsing Bulletin of the Section of Logic 52/2 (2023) by Subject
Now showing items 1-15 of 15
| Subject |
|---|
| bi-intuitionistic logic \(\mathtt{2Int}\) [1] |
| bilateralism [3] |
| classical logic [1] |
| core logic [1] |
| cut-elimination [1] |
| identity of derivations [1] |
| logic programming [1] |
| natural deduction [1] |
| negationas-failure [1] |
| proof [1] |
| proof-theoretic semantics [1] |
| strong normalization [1] |
| substructural logics [1] |
| synonymy [1] |
| type theory [1] |