Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus

Notre Dame Journal of Formal Logic 19 (3):457-460 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888407

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term.Czes?aw Lejewski - 1989 - Studia Logica 48 (4):479 - 494.
The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
Three prepositional calculi of probability.Herman Dishkant - 1980 - Studia Logica 39 (1):49 - 61.
Relevant implication and the weak deduction theorem.Diderik Batens - 1987 - Studia Logica 46 (3):239 - 245.
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
A note on deduction theorem for gödel's propositional calculus G.Ewa Żarnecka-Biaŀy - 1968 - Studia Logica 23 (1):35 - 41.
Axioms for the Implicational Calculus With One Variable.Henry W. Johnstone & Robert Price - 1964 - Theoria 30 (1):1-4.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,199,114)

6 months
1 (#1,478,456)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
Tableaux sin refutación.Tomás Barrero & Walter Carnielli - 2005 - Matemáticas: Enseñanza Universitaria 13 (2):81-99.

Add more citations

References found in this work

No references found.

Add more references