Przeglądaj Bulletin of the Section of Logic 44/1-2 (2015) według tematu
Wyświetlanie pozycji 1-20 z 24
| Temat |
|---|
| admissible rules [1] |
| almost structural completeness [1] |
| Closure operator [1] |
| Complete Almost Distributive Lattice [1] |
| Completely meet-irreducible element [1] |
| definition [1] |
| distributive lattice [1] |
| Dual atom [1] |
| Dual atomistic [1] |
| Leibniz operator [1] |
| n-modal logic S5ⁿ [1] |
| passive rules [1] |
| predicate calculus [1] |
| projective unification [1] |
| Referential Logics [1] |
| relation algebras [1] |
| representable diagonal-free cylindric algebras [1] |
| Selfextensional Logics [1] |
| Suszko operator [1] |
| Tarski operator [1] |