An undecidable problem in the algebra of truth-tables

Journal of Symbolic Logic 19 (3):172-176 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268614

Links

PhilArchive



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

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

Undecidability in diagonalizable algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
The lindenbaum fixed point algebra is undecidable.V. Yu Shavrukov - 1991 - Studia Logica 50 (1):143-147.
Note on truth-tables.Jan Kalicki - 1950 - Journal of Symbolic Logic 15 (3):174-181.
A test for the equality of truth-tables.Jan Kalicki - 1952 - Journal of Symbolic Logic 17 (3):161-163.
A test for the existence of tautologies according to many-valued truth-tables.Jan Kalicki - 1950 - Journal of Symbolic Logic 15 (3):182-184.
The theory of the recursively enumerable weak truth-table degrees is undecidable.Klaus Ambos-Spies, André Nies & Richard A. Shore - 1992 - Journal of Symbolic Logic 57 (3):864-874.
Decision problems for classes of diagonalizable algebras.Aldo Ursini - 1985 - Studia Logica 44 (1):87 - 89.
Undecidable theories of Lyndon algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.

Analytics

Added to PP
2009-01-28

Downloads
33 (#482,422)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The logical investigations of jan kalicki.Jan Zygmunt - 1981 - History and Philosophy of Logic 2 (1-2):41-53.

Add more citations

References found in this work

Introduction to Mathematical Logic. Part I. [REVIEW]E. N. - 1944 - Journal of Philosophy 41 (25):699.

Add more references