Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer (Q759743)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer |
scientific article; zbMATH DE number 3882401
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer |
scientific article; zbMATH DE number 3882401 |
Statements
Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer (English)
0 references
1984
0 references
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.
0 references
deductive reasoning
0 references
diagrammatic method
0 references
algorithmic syllogistic method
0 references
computer program
0 references
0.93863714
0 references
0 references
0.8648926
0 references
0.84844893
0 references
0.8460593
0 references
0.84287435
0 references
