Browsing Bulletin of the Section of Logic 54/3 (2025) by Subject
Now showing items 1-20 of 23
| Subject |
|---|
| (involutive) Hilbert algebra [1] |
| (positive) implicativity [1] |
| BCK [1] |
| BE [1] |
| commutativity [1] |
| condensed detachment [1] |
| conservative translation [1] |
| conservativeness of the combination [1] |
| D-complete [1] |
| dialogics [1] |
| equivalential calculus [1] |
| game-theoretic semantics [1] |
| GE algebra [1] |
| Gentzen calculus [1] |
| hollow dimension [1] |
| intuitionistic logic [1] |
| Kurosh-Ore dimension [1] |
| logical ecumenism [1] |
| modular lattice [1] |
| non-collapsing combination of logics [1] |