Completeness of Łukasiewicz-Tarski Propositional Calculi

Journal of Symbolic Logic 16 (3):228-229 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266435

Links

PhilArchive



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

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: Alan Rose, Completeness of Lukasiewicz-Tarski Propositional Calculi. [REVIEW]A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (3):228-229.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
The Degree of Completeness of the m-Valued Łukasiewicz Propositional Calculus.Alan Rose - 1956 - Journal of Symbolic Logic 21 (3):327-328.
Non-commutative Łukasiewicz propositional logic.Ioana Leuştean - 2006 - Archive for Mathematical Logic 45 (2):191-213.
Craig-godel-lindenbaum's property and sobocinski-tarski's property in propositional calculi.Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (3):116-120.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
A note on indirect deduction theorems valid in łukasiewicz's finitely-valued propositional calculi.S. J. Surma - 1973 - Studia Logica 31 (1):142-142.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
Connections between some notions of completeness of structural propositional calculi.Marek Tokarz - 1973 - Studia Logica 32 (1):77 - 91.
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.
Proof of structural completeness of a certain class of implicative propositional calculi.Tadeusz Prucnal - 1973 - Studia Logica 32 (1):93 - 97.
A note on the deductive completeness of m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1949 - Journal of Symbolic Logic 14 (4):219-225.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.

Analytics

Added to PP
2015-02-05

Downloads
1 (#1,907,951)

6 months
1 (#1,498,899)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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