Przeglądaj Bulletin of the Section of Logic 52/2 (2023) według tematu
Wyświetlanie pozycji 1-15 z 15
| Temat |
|---|
| 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] |