Alternative notations for Principia Mathematica description theory: possible modifications

Notre Dame Journal of Formal Logic 17 (3):476-478 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887645

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

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

Principia Mathematica description theory: the classical and an alternative notation.Jordan Howard Sobel - 1974 - Notre Dame Journal of Formal Logic 15 (1):63-72.
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.
The Triumph of Types: Principia Mathematica's Impact on Computer Science.Robert L. Constable - unknown
Sentential notations: unique decomposition.Jordan Howard Sobel - 1979 - Notre Dame Journal of Formal Logic 20 (2):377-382.
The definability of the set of natural numbers in the 1925 principia mathematica.Gregory Landini - 1996 - Journal of Philosophical Logic 25 (6):597 - 615.
Russell's substitutional theory of classes and relations.Gregory Landini - 1987 - History and Philosophy of Logic 8 (2):171-200.
Notes on the fate of logicism from principia mathematica to gödel's incompletability theorem.I. Grattan-Guinness - 1984 - History and Philosophy of Logic 5 (1):67-78.
An ordinal analysis of admissible set theory using recursion on ordinal notations.Jeremy Avigad - 2002 - Journal of Mathematical Logic 2 (1):91-112.
Polymorphic type checking for the type theory of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
Notations for Living Mathematical Documents.Michael Kohlhase - unknown
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
Adaptation of Notations in Living Mathematical Documents.Michael Kohlhase - unknown
Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.

Analytics

Added to PP
2010-08-24

Downloads
16 (#924,050)

6 months
4 (#837,857)

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