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 [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: 91,709

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

Review: Jan Lukasiewicz, The Shortest Axiom of the Implicational Calculus of Propositions. [REVIEW]Alonzo Church - 1948 - Journal of Symbolic Logic 13 (3):164-164.
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.
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.
The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
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: 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.
On an Extended System of the Propositional Calculus.Carew Meredith - 1951 - Proceedings of the Royal Irish Academy 54:37-47.
Broderick T. S.. On proving certain properties of the primes by means of the methods of pure number theory. Proceedings of the Royal Irish Academy, section A, vol. 46 , pp. 17–24. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (3):128-130.
Final word on a shortest implicational axiom.Ivo Thomas - 1970 - Notre Dame Journal of Formal Logic 11 (1):16-16.
The shortest axioms of the implicational calculus.Richard Tursman - 1968 - Notre Dame Journal of Formal Logic 9 (4):351-358.
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.Larry Wos, Dolph Ulrich & Branden Fitelson - unknown
Cognitive Theology and Emotive Mysteries in Berkeley's Alciphron.David Berman - 1981 - Proceedings of the Royal Irish Academy 81:219-229.
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.
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus.Branden Fitelson - manuscript
On Lindenbaum's algebras of finite implicational Lukasiewicz's logics.Marian Maduch - 1976 - Bulletin of the Section of Logic 5 (1):29-31.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,032,575)

6 months
2 (#1,188,460)

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