Church Alonzo. Non-normal truth-tables for the propositional calculus. Boletin de la Sociedad Matemática Mexicana, vol. 10 no. 1–2 , pp. 41–52 [Book Review]

Journal of Symbolic Logic 19 (3):233-234 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268648

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

Quine W. V.. Two theorems about truth-functions. Boletín de la Sociedad Matemática Mexicana, vol. 10 no. 1–2 , pp. 64–70. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):142-143.
Review: Alonzo Church, Non-Normal Truth-Tables for the Propositional Calculus. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):233-234.
Non-Normal Truth-Tables for the Propositional Calculus.Alonzo Church - 1954 - Journal of Symbolic Logic 19 (3):233-234.
Zubieta R. Gonzalo Definiciones formales de numerabilidad. Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 1 no. 1 , pp. 49–56. [REVIEW]John van Heijenoort - 1963 - Journal of Symbolic Logic 28 (3):251-251.
Feys Robert. A simplified proof of the reduction of all modalities to 42 in S3. Boletin de la Sociedad Matemática Mexicana, vol. 10 nos. 1–2 , pp. 53–57. [REVIEW]William T. Parry - 1955 - Journal of Symbolic Logic 20 (1):66-66.
R. Gonzalo Zubieta Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 , pp. 45–53. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):55-56.
Zubieta R. Gonzalo Sobre la substitución de las variables funcionales en el cáculo funcional de primer orden. Boletin de la Sociedad Matemática Mexicana, vol. 7 no. 1–2 , pp. 1–21. [REVIEW]Maurice L'Abbé - 1951 - Journal of Symbolic Logic 16 (4):291-291.
Review: Alan Rose, A Formalization of the $C-0$ Propositional Calculus. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):66-66.
Jan Łukasiewicz. On variable functors of propositional arguments. Proceedings of the Royal Irish Academy, vol. 64 section A no. 2 , pp. 25–35. - C. A. Meredith. On an extended system of the propositional calculus. Proceedings of the Royal Irish Academy, vol. 64 section A no. 3 , pp. 37–47. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):229-230.
Rose Alan. A formalization of the C-0 propositional calculus. Proceedings of the Cambridge Philosophical Society, vol. 47 , pp. 635–636. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):66-66.
Rose Alan. A formalisation of the 2-valued propositional calculus with self-dual primitives. Mathematische Annalen, vol. 127 , pp. 255–257. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (4):295-295.
Conditioned Disjunction as a Primitive Connective for the Propositional Calculus.H. E. Vaughan - 1949 - Journal of Symbolic Logic 14 (3):197-197.
Review: Alonzo Church, Conditioned Disjunction as a Primitive Connective for the Propositional Calculus. [REVIEW]H. E. Vaughan - 1949 - Journal of Symbolic Logic 14 (3):197-197.
Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].
Church Alonzo. Conditioned disjunction as a primitive connective for the propositional calculus. Portugaliae mathematica, vol. 7 , pp. 87–90. [REVIEW]H. E. Vaughan - 1949 - Journal of Symbolic Logic 14 (3):197-197.

Analytics

Added to PP
2016-06-30

Downloads
22 (#688,104)

6 months
11 (#226,803)

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