Grzegorczyk A.. A note on the theory of prepositional types. Fundamenta mathematicae, vol. 54 (1964), pp. 27–29

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1996

DOI

10.2307/2270478

Links

PhilArchive



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

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.
A reduction of the axioms for the theory of propositional types.Peter Andrews - 1963 - Fundamenta Mathematicae 52:345-350.
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.
A theory of propositional types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.
Review: L. Henkin, Fundamenta Mathematicae: A Theory of Propositional Types. [REVIEW]J. R. Guard - 1965 - Journal of Symbolic Logic 30 (3):385-385.
A system which can define its own truth.Alonzo Church - 1950 - Fundamenta Mathematicae 37 (1):190--92.
Some remarks on the consequence operation in sentential logics.Ryszard Wójcicki - 1970 - Fundamenta Mathematicae 68 (1):269--279.
An Extension of a Theorem of Gaifman-Hales-Solovay.Haim Gaifman - 1967 - Fundamenta Mathematicae 61 (1):29-32.
Ehrenfeucht A.. On theories categorical in power. Fundamenta mathematicae, vol. 44 (1957), pp. 241–248.R. L. Vaught - 1966 - Journal of Symbolic Logic 31 (4):645-645.
Deduction-preserving ‘Recursive Isomorphisms’ between Theories.Marian Boykan Pour-El & Saul A. Kripke - 1967 - Fundamenta Mathematicae 61:141-163.
On embedding models of arithmetic of cardinality aleph_1 into reduced powers.Juliette Kennedy & Saharon Shelah - 2003 - Fundamenta Mathematicae 176 (1).
On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.

Analytics

Added to PP
2014-04-01

Downloads
9 (#1,219,856)

6 months
2 (#1,263,261)

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