Przeglądaj Bulletin of the Section of Logic 48/4 (2019) według tematu
Wyświetlanie pozycji 1-20 z 22
| Temat |
|---|
| admissibility of cut [1] |
| analytic cut [1] |
| binary quantifier [1] |
| closure operation [1] |
| congruence [2] |
| covering system [1] |
| definite descriptions [1] |
| finite model property [1] |
| Galois connection [1] |
| gluing [1] |
| intuitionist negative free logic [1] |
| intuitionistic logic [1] |
| Lambert's Law [1] |
| lattice [1] |
| modal logic [1] |
| multiple-conclusion consequence relation [1] |
| natural deduction [1] |
| Non-Fregean logics [1] |
| propositional identity [1] |
| subformula property [1] |