Przeglądaj Bulletin of the Section of Logic 49/3 (2020) według tematu
Wyświetlanie pozycji 1-20 z 21
| Temat |
|---|
| Beth semantics [1] |
| co-negation [1] |
| completness [1] |
| computational complexity [1] |
| effect algebra [1] |
| effect module [1] |
| empirical negation [1] |
| equality logic [1] |
| intuitionism [1] |
| Kripke semantics [1] |
| many-valued logic [1] |
| minimal logic [1] |
| modal logic [1] |
| natural deduction [1] |
| prelinear equality∆ logic [1] |
| prelinear equality∆-algebra [1] |
| product effect algebra [1] |
| scope of □ [1] |
| sequent calculus [2] |
| subformula property [1] |