Antisymmetry

For everything you can think of, there is the exact opposite – that is antisymmetry, which is symmetry nevertheless. ❋ Unknown (2008)

Taking reflexivity (and antisymmetry) as constitutive of the meaning of ˜part™ amounts to regarding identity as a limit ❋ Unknown (2009)

Finally, note that identity could itself be introduced by definition, due to the following obvious consequence of the antisymmetry postulate ❋ Unknown (2009)

Finally, concerning the antisymmetry postulate (18), two sorts of worry are worth mentioning. ❋ Unknown (2009)

At present, however, no systematic study of non-well-founded mereology has been put forward in the literature, so in the following we shall confine ourselves to theories that accept the antisymmetry postulate along with relexivity and transitivity. ❋ Unknown (2009)

Whenever you have a large population, you are going to have normal Guassian (Bell Curve) distributions and you are going to have symmetry (which includes antisymmetry). ❋ Unknown (2008)

The model just presented (QMSL) has a serious drawback: it does not allow to deal with systems containing identical constituents because it does not respect the symmetry or antisymmetry requirements for such particles. ❋ Ghirardi, Giancarlo (2007)

Craniofacial laterality in the scale-eating specialist Perissodus microlepis was found to be evident early in development and exhibited a unimodal distribution, which is contrary to the adult condition where jaw laterality has been described as a discrete, bimodal antisymmetry. ❋ Unknown (2010)

ˆƒ x ˆ yPxy then such an entity would perforce be an atom, and the antisymmetry axiom (P. 3) would entail its uniqueness. ❋ Unknown (2009)

Since finitude together with the antisymmetry of parthood (P. 3) jointly imply that mereological decomposition must eventually come to an end, it is clear that any finite model of M (and a fortiori of any extension of ❋ Unknown (2009)

Other examples of properties expressible in hybrid logic, but not in ordinary modal logic, are asymmetry (expressed by c†’ –¡ ¬ —Š c), antisymmetry ❋ Braüner, Torben (2008)