Module prop::quality_traits

source ·
Expand description

Traits showing what would happen with alternative axioms for Path Semantical Quality.

Traits

  • IdQ
    Maps every true proposition a into self-quality a ~~ a.
  • NoOtherQ
    Prevents other qualities of A from excluding B.
  • PurePlatonism
    Pure Platonism assumption.
  • QId
    Maps every self-quality a ~~ a into true proposition a.
  • SeshNeq
    Seshatic Inequality Overloading.
  • UniqQ
    If something is qual to A, then A is qual to B.