Browsing Bulletin of the Section of Logic 48/1 (2019) by Subject

Now showing items 1-20 of 26

Subject
03G25 [1]
06D15 [1]
06D99 [1]
06F35 [1]
08A72 [1]
automated deduction [1]
automated rules generation [1]
classical propositional logic [1]
congruence [1]
correspondence analysis [1]
derivation [1]
functional completeness [1]
ideal [1]
invertible rules [1]
kernel [1]
kernel element [1]
lattice [1]
modal logic S4.2 [1]
non-classical logics [1]
positive implicative soju ideal [1]