Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer (Q759743)

This is a continuation of Part I (reviewed above) and the authors' paper, ibid. 17, 469-475 (1976; Zbl 0286.02023): the authors present an algorithmic syllogistic method which solves problems presented in logical form; they richly comment and exemplify the method; they also introduce a first version of its computer program.