Review: S. V. Ablonskij, On Functional Completeness in the Three-Valued Calculus [Book Review]

Journal of Symbolic Logic 20 (2):175-175 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266924

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

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: S. V. Ablonskij, Functional Constructions in Many-Valued Logics. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):65-65.
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
The Functional Completeness of Post's m‐Valued Propositional Calculus.Sally Barton - 1979 - Mathematical Logic Quarterly 25 (25‐29):445-446.
Review: S. V. Ablonskij, Functional Constructions in k-Valued Logic. [REVIEW]Arto Salomaa - 1964 - Journal of Symbolic Logic 29 (4):214-216.
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.
Completeness theorems via the double dual functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
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.
Review: Leon Henkin, The Completeness of the First-Order Functional Calculus. [REVIEW]W. Ackermann - 1950 - Journal of Symbolic Logic 15 (1):68-68.
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Review: Juliusz Reichbach, Completeness of the Functional Calculus of First Order. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (2):194-194.

Analytics

Added to PP
2013-11-22

Downloads
9 (#1,246,467)

6 months
3 (#967,057)

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