Robert Inder

• The computer simulation of syllogism solving using restricted mental models