reasoning systems

The glossary is being gradually proof checked, but may have typos and misspellings.

A reasoning system is an algorithm, method or tool for reasoning.

Used in Chap. 2: page 13

Used in glossary entries: reasoning