gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

Mathematical Structure #3

Open greenTara opened 11 years ago

greenTara commented 11 years ago

Submitter: Pat Hayes

References in Document: p.13 - 6.2 1st sentence

Nature of Defect: the phrase "mathematical structures" is potentially misleading as it can be construed as being contrasted with other 'kinds' of structure. The qualifier "mathematical" is not necessary to the sense of the sentence, so should be deleted.

Proposed Solution: Delete “mathematical”