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).

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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.

My notes

Similar books and articles

A semantical investigation into leśniewski's axiom of his ontology.Mitio Takano - 1985 - Studia Logica 44 (1):71 - 77.
Limits and Strengths of Predicate Logic (and its Alloy Implementation).Jan van Eijck - unknown
A probabilistic theory of extensive measurement.Jean-Claude Falmagne - 1980 - Philosophy of Science 47 (2):277-296.
A note on the Lambek-van Benthem calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
Characterization of recursively enumerable sets.Jesse B. Wright - 1972 - Journal of Symbolic Logic 37 (3):507-511.
Anneaux de fonctions p-adiques.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.
[1 − p(X, z)][1 − p(y, z)]/p(y, z) if p(y, z) >.Karl Popper & David Miller - unknown
Decidability of General Extensional Mereology.Hsing-Chien Tsai - 2013 - Studia Logica 101 (3):619-636.
The logic of freedom and responsibility.G. Oddie - 1982 - Studia Logica 41:227.
Probability Dynamics.Amos Nathan - 2006 - Synthese 148 (1):229-256.

Analytics

Added to PP
2010-04-09

Downloads
32 (#703,717)

6 months
4 (#1,246,333)

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