Notes

Abstract

Definition 1. A Strict partial order is a structure X, P , with P a binary relation on X that is irreflexive (IR) and Transitive (TR): (IR) ∀x : ¬P (x, x). (TR) ∀x, y, v, w : (P (x, y) ∧ P (y, z)) → P (x, z).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2010-04-09

Downloads
27 (#606,202)

6 months
4 (#854,689)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references