1. [4] Hailperin, T., “A set of axioms for logic,” Journal of Symbolic Logic, vol. 9 (1944), pp. 1–19.
2. [1] Beneš, V. E., “A partial model for Quine’s ‘New Foundations,’” Journal of Symbolic Logic, vol. 19 (1954), pp. 197–200.
3. [2] Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, 2d ed., Cambridge University Press, New York, 2002.
4. [3] Forster, T. E., Logic, Induction and Sets, vol. 56 of London Mathematical Society Student Texts, Cambridge University Press, Cambridge, 2003.
5. [5] Pétry, A., “Stratified languages,” Journal of Symbolic logic, vol. 57 (1992), pp. 1366–76.