Przeglądaj Bulletin of the Section of Logic 50/1 (2021) według tematu
Wyświetlanie pozycji 1-20 z 23
| Temat |
|---|
| (transitive) GE-algebra [1] |
| congruence kernel [1] |
| connexive implication [1] |
| filter [1] |
| Four-valued logics [1] |
| implicative soju filter [1] |
| isomorphisms [1] |
| Lambek calculus [1] |
| literal-paraconsistent-paracomplete logics [1] |
| nonassociative linear logic [1] |
| paracomplete logics [1] |
| paraconsistent logics [1] |
| paradoxes of implication [1] |
| PTime complexity [1] |
| semi-lattice of logics [1] |
| sequent calculi [1] |
| sequent system [1] |
| soju filter [1] |
| Soju sub-hoop [1] |
| Strict implication [1] |