Przeglądaj Bulletin of the Section of Logic 47/1 (2018) według tematu
Wyświetlanie pozycji 1-20 z 24
| Temat |
|---|
| 03G25 [2] |
| 03G27 [1] |
| 06D72 [1] |
| 06F35 [2] |
| algebra [1] |
| Algebraic logic [1] |
| applications [1] |
| BCK-lattice [1] |
| bi-intuitionistic logic [1] |
| Bounded commutative BCK-algebras [1] |
| conference [1] |
| Craig interpolation [1] |
| cut-redundancy [1] |
| duality [1] |
| implicative int-soft ideal [1] |
| int-soft ideal [1] |
| Involutory BCK-algebras [1] |
| logic [1] |
| many-valued logic [1] |
| paraconsistent logic [1] |