Przeglądaj Bulletin of the Section of Logic 46/1-2 (2017) według tematu
Wyświetlanie pozycji 1-20 z 43
| Temat |
|---|
| 03G20 [1] |
| 06D30 [1] |
| 60A05 [1] |
| basic theories for modal logics between C1 and S5 [1] |
| Belnap’s four-valued logic [1] |
| consequence operation [1] |
| consequence relation [1] |
| cumulative distribution function [1] |
| cut elimination [2] |
| disjunction property [1] |
| existence property [1] |
| expansions and functional properties [1] |
| expressive power [1] |
| first-degree theses of modal logics [1] |
| first-order logic [1] |
| formalism [1] |
| Gentzen [1] |
| hypersequent calculus [1] |
| intermediate predicate logics [1] |
| intuitionism [1] |