Review: Jan Lukasiewicz, The Shortest Axiom of the Implicational Calculus of Propositions [Book Review]

Journal of Symbolic Logic 13 (3):164-164 (1948)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267857

Links

PhilArchive



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

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

Lukasiewicz Jan. The shortest axiom of the implicational calculus of propositions Proceedings of the Royal Irish Academy, vol. 52 section A no. 3 , pp. 25–33. [REVIEW]Alonzo Church - 1948 - Journal of Symbolic Logic 13 (3):164-164.
Review: Jan Lukasiewicz, Concerning an Axiom System of the Implicational Propositional Calculus. [REVIEW]Bolesław Sobociński - 1955 - Journal of Symbolic Logic 20 (2):173-174.
Review: Richard Tursman, The Shortest Axioms of the Implicational Calculus; Ivo Thomas, Final Word on a Shortest Implicational Axiom. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690-690.
A Formalisation of the ℵ 0 -Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors.B. Scarpellini & Alan Rose - 1970 - Journal of Symbolic Logic 35 (1):143.
Review: Jan Lukasiewicz, Jerzy Slupecki, Panstwowe Wydawnictwo, Remarks on Nicod's Axiom and on "Generalizing Deduction". [REVIEW]H. A. Pogorzelski - 1965 - Journal of Symbolic Logic 30 (3):376-377.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
Review: Alonzo Church, Non-Normal Truth-Tables for the Propositional Calculus. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):233-234.
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.
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.
Final word on a shortest implicational axiom.Ivo Thomas - 1970 - Notre Dame Journal of Formal Logic 11 (1):16-16.

Analytics

Added to PP
2013-11-22

Downloads
15 (#975,286)

6 months
2 (#1,259,919)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references