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
