SBVR 1.0b2 FTF Avatar
  1. OMG Issue

SBVR — SBVR Issue - Logical Formulation Kinds of Quantifications

Open Closed All
  • Key: SBVR-91
  • Legacy Issue Number: 9940
  • Status: closed  
  • Source: Google ( Don Baisley)
  • Summary:

    Logical Formulation Kinds of Quantifications

    In 9.1.1.7, page 57, under “existential quantification”, the Concept Type paragraph should be removed. The logical formulation kind for an existential quantification is the concept ‘at-least-n quantification’.

    In 9.1.1.7, page 59, under “at-most-one quantification”, the Concept Type paragraph should be removed. The logical formulation kind for an at-most-one quantification is the concept ‘at-most-n quantification’.

    In 9.1.1.7, page 59, under “exactly-one quantification”, the Concept Type paragraph should be removed. The logical formulation kind for an exactly-one quantification is the concept ‘exactly-n quantification’.
  • Reported: SBVR 1.0b1 — Thu, 20 Jul 2006 04:00 GMT
  • Disposition: Resolved — SBVR 1.0b2
  • Disposition Summary:

    Remove the Concept Type paragraphs as stated above
  • Updated: Fri, 6 Mar 2015 20:58 GMT