[Crm-sig] Change CIDOC CRM Symbolic Logic Representation of Implication and Equivalence / If and Only If
george.bruseker at gmail.com
Mon Jun 22 17:01:55 EEST 2020
Thank you for participating in this e-vote. I would like to announce the
outcome of the vote now that the voting period is over.
Both proposals, to change the symbolic representation of implication and
equivalence to a new form, were accepted.
Twelve votes were cast and each of these changes passed with unanimity.
On Tue, Jun 9, 2020 at 8:16 PM George Bruseker <george.bruseker at gmail.com>
> Dear all,
> In the course of doing editorial work for CRM base version 7.0 a
> discussion was launched on the symbols used in the FOL representation of
> CRM, particularly the characters for implication and for equivalence / if
> and only if.
> They have until now been represented as:
> implication ⊃
> equivalence / if and only if ≡
> It is now proposed that they be represented as:
> implication ⇒
> equivalence / if and only if ⇔
> Both forms of notation are used in different communities. The argument for
> making this change is that the horseshoe confuses people who work in set
> theory, and the proposed new symbols are well known and do not clash with
> other symbol sets.
> In order to vote on this issue, please use the following form.
> Please vote by June 19th.
> George Bruskeer
> Vice Chair, CIDOC CRM SIG
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Crm-sig