Przeglądaj Bulletin of the Section of Logic 54/3 (2025) według tematu
Wyświetlanie pozycji 1-20 z 23
| Temat |
|---|
| (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] |