Ivo Thomas and Don Orth. Axioms for the “Gergonne”-relations. The journal of symbolic logic, t. 24, n° 4 , p. 305 [Book Review]

Journal of Symbolic Logic 27 (1):113-113 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963746

Other Versions

reprint Blanché, Robert (1962) "Thomas Ivo and Orth Don. Axioms for the “Gergonne”-relations". Journal of Symbolic Logic 27(1):113-113

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Thomas Ivo. Farrago logica. Anglais. Dominican studies, t. 4 , p. 69–79.J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):314-315.
Axioms for the “Gergonne”-relations.Ivo Thomas & Don Orth - 1959 - Journal of Symbolic Logic 24 (4):305.
Thomas Ivo. Kilwardby on conversion. Dominican studies, t. 6 , p. 56–76.Thomas Ivo. Maxims in Kilwardby. Dominican studies, t. 7 , p. 129–146. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):316-317.
Bar-Hillel Y.. Bolzano's propositional logic. Archiv für Philosophie, t. 4 n° 3 , p. 305–338; aussi Archiv für mathematische Logik und Grundlagenforschung, t. 1 n° 3 , p. 65–98. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (4):386-387.
Thomas Ivo. A new decision procedure for Aristotle's syllogistic. Mind, nouvelle série t. 61 , p. 564–566.J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):315-315.
Thomas Ivo. Independence of Faris-rejection-axioms. Notre Dame journal of formal logic, vol. 1 , pp. 48–51.Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (1):113-113.
Ivo Thomas. Two arithmetical techniques with numbered classes. The journal of symbolic logic, vol. 27 no. 4 , pp. 437–438.William Wernick - 1965 - Journal of Symbolic Logic 30 (3):376.
Thomas Ivo. Logic and theology. Dominican studies , vol. 1 no. 4 . Offprint, 22 pp.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):142-143.
Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.

Analytics

Added to PP
2013-11-03

Downloads
30 (#758,519)

6 months
9 (#509,115)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references