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

Should we put bounded quantifiers into Core?

State:

CLOSED

Product:

Core

Raised by:

Christian de Sainte Marie

Opened on:

2009-01-15

Description:

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).

See http://www.w3.org/2009/04/07-rif-minutes.html.

Related Actions Items:

No related actions

Related emails:

1. [Admin] draft minutes of 7 April 2009 telecon (from mdean@bbn.com on 2009-04-20)
2. Agenda amendment: ISSUE-91 (Bounded Quantifiers) (from cawelty@gmail.com on 2009-04-07)
3. Minute from March, 17th (from adrian.paschke@gmx.de on 2009-03-22)
4. Re: ISSUE-91 (from csma@ilog.fr on 2009-03-17)
5. Re: ISSUE-91 (from gary.hallmark@oracle.com on 2009-03-16)
6. Re: ISSUE-91 (from der@hplb.hpl.hp.com on 2009-03-16)
7. [Admin] Agenda for RIF telecon March 17 [*ATTENTION* time of telecon] (from csma@ilog.fr on 2009-03-16)
8. AW: ISSUE-91 (from adrian.paschke@gmx.de on 2009-03-15)
9. ISSUE-91 (from cawelty@gmail.com on 2009-03-13)

Related notes:

Display change log