ISSUE-91: Should we put bounded quantifiers into Core?

Should we put bounded quantifiers into Core?

Raised by:
Christian de Sainte Marie
Opened on:
At the 12th F2F meeting, this issue was raised as a proposal to add to Core, driven by requirements from common usage in production rules:

(forall x such than x # C ...) (esp if we need an LC2 for BLD anyway)

Although it seemed like simple syntactic sugar, mainly because of desire to close RIF work, the WG resolved at the 7-Apr-2009 telecon to close this issue w/o action (ie not having bounded quantifiers in core).

Related Actions Items:
No related actions
Related emails:
  1. [Admin] draft minutes of 7 April 2009 telecon (from on 2009-04-20)
  2. Agenda amendment: ISSUE-91 (Bounded Quantifiers) (from on 2009-04-07)
  3. Minute from March, 17th (from on 2009-03-22)
  4. Re: ISSUE-91 (from on 2009-03-17)
  5. Re: ISSUE-91 (from on 2009-03-16)
  6. Re: ISSUE-91 (from on 2009-03-16)
  7. [Admin] Agenda for RIF telecon March 17 [*ATTENTION* time of telecon] (from on 2009-03-16)
  8. AW: ISSUE-91 (from on 2009-03-15)
  9. ISSUE-91 (from on 2009-03-13)

Related notes:

Closed by WG resolution at the April 7, 2009 RIF Telecon, no bounded quantifiers in Core

Christopher Welty, 17 Apr 2009, 15:04:46

Display change log ATOM feed

Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <>.
$Id: 91.html,v 1.1 2013-02-08 09:09:38 vivien Exp $