Mechanizing logic. II. Automated map logic method for relational arguments on paper and by computer.
Janet Rybak, John Rybak · Notre Dame Journal of Formal Logic · 1984
This article is a continuation of our [12] and [13].The methods of [12] enable us to mechanize arguments with premises containing complex terms such as 'All (^or Y) are (Z and non-Wy.Then [13] goes on to provide a basis for mechanizing relational arguments.To the methods of [12] we add two new ideas: