An elementary method of determining the degree of completeness of n-valued Lukasiewicz propositional calculus

Bulletin of the Section of Logic 13 (4):226-228 (1984)
  Copy   BIBTEX

Abstract

The method of calculating the degree of completeness presented below differs from methods discussed in [1] and [2] and is explicitly based on elementary properties of Lukasiewiczian valuations and reveals the character of possible enlargements of given n-valued Lukasiewicz logic. Above all it seems to be especially convenient for didactic purposes

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
Review: Alan Rose, The Degree of Completeness of the $aleph_0$-valued Lukasiewicz Propositional Calculus. [REVIEW]Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
Review: Alan Rose, The Degree of Completeness of the $m$-Valued Lukasiewicz Propositional Calculus, Correction and Addendum. [REVIEW]Gene F. Rose - 1974 - Journal of Symbolic Logic 39 (2):350-350.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
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.
An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Lukasiewicz.Roberto Cignoli & Daniele Mundici - 1997 - Studia Logica 58 (1):79-97.
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus.Piotr Wojtylak - 1976 - Bulletin of the Section of Logic 5 (4):153-156.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Completeness theorems via the double dual functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
Uwagi o logice trójwartościowej.Tomasz Bigaj - 1997 - Filozofia Nauki 3.
A proof of completeness of the two-valued propositional calculus.W. Sadowski - 1961 - Studia Logica 11 (1):55-55.

Analytics

Added to PP
2014-01-25

Downloads
22 (#712,914)

6 months
2 (#1,206,802)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wojciech Suchoń
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in this work

Invariant Systems of Łukasiewicz Calculi.Marek Tokarz - 1974 - Mathematical Logic Quarterly 20 (13‐18):221-228.

Add more references