Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-29T02:38:33.722Z Has data issue: false hasContentIssue false
  • English
  • Français

Axioms for the “Gergonne”-relations

Published online by Cambridge University Press:  12 March 2014

Ivo thomas  and
Don Orth
Ivo thomas
Affiliation:
University of Notre Dame
Don Orth
Affiliation:
University of Notre Dame
Get access Rights & Permissions [Opens in a new window]

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
The Journal of Symbolic Logic , Volume 24 , Issue 4 , December 1959 , pp. 305
Copyright
Copyright © Association for Symbolic Logic 1952

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1 Faris, J. A., The Gergonne relations, this Journal, vol. 20 (1955), no. 3, pp. 207–231.Google Scholar