Point system is a method of goods division which belongs to so called local justice. It has an application to deterministic allocation of indivisible units of a homogeneous good among a set of agents demanding one unit of the good each. Desirable, normative criteria of this method are presented, especially monotonicity and its consequences. The way of formation of a point system has a basic importance for the properties of goods division. Some examples of applications of a point system are presented.

The paper presents modifi cation of four nonprobabilistic procedures of fair division of a set of indivisible goods with money: Original Knaster, Adjusted Knaster, Equal Shares and Second Prices. The purpose of modification is to adjust the aforementioned methods to the problem of division of a set of goods in a situation of unequal entitlements. Extended versions of six formal properties, namely: strong Pareto optimality, proportionality, envyfreeness, equitability, strategy-proofness and anonymity are also presented. Moreover,proofs of procedures having the same formal properties in a situation of unequal entitlements as in a situation of equal entitlements are shown.

The paper presents and compares four nonprobabilistic procedures of fair division of a set of indivisible goods with money: Original Knaster, Adjusted Knaster, Equal Shares and Second Prices. The last two are presented for the first time in the article. The analysis concerns the formal properties of thosemethods, namely: strong Pareto optimality, proportionality, envy-freeness, fairness, strategy-proofness and anonymity. Moreover, classes of situations inwhich those procedures meet aforementioned properties will be compared.