Browsing Bulletin of the Section of Logic 44/1-2 (2015) by Subject

Now showing items 1-20 of 24

Subject
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]