A Note on the Theory of Propositional Types

&
Journal of Symbolic Logic 31 (3):502 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270478

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

A note on the theory of propositional types.Andrzej Grzegorczyk - 1964 - Fundamenta Mathematicae 54 (3):27-29.
Grzegorczyk A.. A note on the theory of prepositional types. Fundamenta mathematicae, vol. 54 (1964), pp. 27–29.Peter Andrews - 1966 - Journal of Symbolic Logic 31 (3):502-503.
A reduction of the axioms for the theory of propositional types.Peter Andrews - 1963 - Fundamenta Mathematicae 52:345-350.
Paradoxes and the theory of logical types.Jorge Roberto Palacio Fernánde - 2008 - Universitas Philosophica 25 (51).
Fundamenta Mathematicae: A Reduction of the Axioms for the Theory of Propositional Types.P. Andrews - 1965 - Journal of Symbolic Logic 30 (3):385-385.
Andrews P.. A reduction of the axioms for the theory of propositional types. Fundamenta mathematicae, vol. 52 , pp. 345–350. [REVIEW]J. R. Guard - 1965 - Journal of Symbolic Logic 30 (3):385-385.
Review: P. Andrews, Fundamenta Mathematicae: A Reduction of the Axioms for the Theory of Propositional Types. [REVIEW]J. R. Guard - 1965 - Journal of Symbolic Logic 30 (3):385-385.
Type Theory and Homotopy.Steve Awodey - unknown
Propositional encodings are a subset of organization theory.George Mandler - 2009 - Behavioral and Brain Sciences 32 (2):214-215.
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.
A theory of propositional types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):117-118.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.

Analytics

Added to PP
2013-11-03

Downloads
6 (#1,389,828)

6 months
1 (#1,459,555)

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