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. Sincerely, George On Tue, Jun 9, 2020 at 8:16 PM George Bruseker <[email protected]> wrote: > 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 >
_______________________________________________ Crm-sig mailing list [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
