[Crm-sig] Change CIDOC CRM Symbolic Logic Representation of Implication and Equivalence / If and Only If

George Bruseker george.bruseker at gmail.com
Mon Jun 22 17:01:55 EEST 2020

Dear all,

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.
> https://forms.gle/QzvH9qEHYJTrNsAK9
> Please vote by June 19th.
> Thanks.
> George Bruskeer
> Vice Chair, CIDOC CRM SIG
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20200622/3106f3e2/attachment.html>

More information about the Crm-sig mailing list