Przeglądaj Bulletin of the Section of Logic 45/2 (2016) według tematu
Wyświetlanie pozycji 1-18 z 18
| Temat |
|---|
| 2-set-up Routley-Meyer semantics [1] |
| 4-valued logics [1] |
| Behavioral Equivalence [1] |
| decidability [1] |
| Deductive Equivalence [1] |
| Hidden Logic [1] |
| Interpretability [1] |
| logical bilattice [1] |
| many-valued logics [1] |
| Modal logic S5 [1] |
| Multi-Sorted Logic [1] |
| Multi-term -Institutions [1] |
| normal forms [1] |
| partition [1] |
| quasiorder [1] |
| Relevant logics [1] |
| sequent calculus [2] |
| tolerance relation [1] |