Przeglądaj Bulletin of the Section of Logic 48/1 (2019) według tematu
Wyświetlanie pozycji 1-20 z 26
| Temat |
|---|
| 03G25 [1] |
| 06D15 [1] |
| 06D99 [1] |
| 06F35 [1] |
| 08A72 [1] |
| automated deduction [1] |
| automated rules generation [1] |
| classical propositional logic [1] |
| congruence [1] |
| correspondence analysis [1] |
| derivation [1] |
| functional completeness [1] |
| ideal [1] |
| invertible rules [1] |
| kernel [1] |
| kernel element [1] |
| lattice [1] |
| modal logic S4.2 [1] |
| non-classical logics [1] |
| positive implicative soju ideal [1] |