display all the ideas for this combination of texts
3 ideas
8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |