Browsing Bulletin of the Section of Logic 46/1-2 (2017) by Subject
Now showing items 1-20 of 43
| Subject |
|---|
| 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] |