Article contents
Axioms for the “Gergonne”-relations
Published online by Cambridge University Press: 12 March 2014
Extract
Independence of axioms was not investigated in [Faris]. We show that this quality is lacking, since 2 can be derived from the rest, which without it constitute an independent set. In the proofs of independence it is clearly more informative to decompose 9, C1abKN2abKN3abN5ab and 10, C3abKN2abN5ab into three and two propositions respectively.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1952
References
1 Faris, J. A., The Gergonne relations, this Journal, vol. 20 (1955), no. 3, pp. 207–231.Google Scholar
- 2
- Cited by