The numeral axioms

Notre Dame Journal of Formal Logic 18 (3):475-476 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888022

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Tursman Richard. The shortest axioms of the implicational calculus. Notre Dame journal of formal logic, vol. 9 no. 4 , pp. 351–358. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690.
Axioms for mereology.Audoënus Le Blanc - 1985 - Notre Dame Journal of Formal Logic 26 (4):429-436.
Premisses are not axioms.Charles F. Kielkopf - 1972 - Notre Dame Journal of Formal Logic 13 (1):129-130.
New axioms for mereology.Audoënus Le Blanc - 1985 - Notre Dame Journal of Formal Logic 26 (4):437-443.
S1° and Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:151.
On the generalized Brouwerian axioms.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (2):123-128.
Nice implicational axioms.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (4):507-508.
On the number of variables in the axioms.M. D. Gladstone - 1970 - Notre Dame Journal of Formal Logic 11 (1):1-15.
On the single axioms of the protothetic. I.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):52-73.
S5 without modal axioms.John Williamson - 1979 - Notre Dame Journal of Formal Logic 20:593.

Analytics

Added to PP
2010-08-24

Downloads
12 (#1,093,652)

6 months
11 (#339,306)

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