An Undecidable Problem in the Algebra of Truth-Tables

Journal of Symbolic Logic 20 (3):283-284 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268232

Links

PhilArchive



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

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

An undecidable problem in the algebra of truth-tables.Jan Kalicki - 1954 - Journal of Symbolic Logic 19 (3):172-176.
Kalicki Jan. An undecidable problem in the algebra of truth-tables. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):283-284.
Review: Jan Kalicki, An Undecidable Problem in the Algebra of Truth-Tables. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):283-284.
A finite relation algebra with undecidable network satisfaction problem.Robin Hirsch - 1999 - Logic Journal of the IGPL 7 (4):547-554.
An Undecidable Property of Recurrent Double Sequences.Mihai Prunescu - 2008 - Notre Dame Journal of Formal Logic 49 (2):143-151.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
Generic Complexity of Undecidable Problems.Alexei G. Myasnikov & Alexander N. Rybalov - 2008 - Journal of Symbolic Logic 73 (2):656 - 673.
The lindenbaum fixed point algebra is undecidable.V. Yu Shavrukov - 1991 - Studia Logica 50 (1):143-147.
On a Philosophical Motivation for Mutilating Truth Tables.Marcos Silva - 2016 - Nordic Wittgenstein Review 5 (1):109-130.
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.
Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic.Tim Button - 2016 - Analysis 76 (1):7-19.
On the equational theory of projection lattices of finite von Neumann factors.Christian Herrmann - 2010 - Journal of Symbolic Logic 75 (3):1102-1110.
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.
Undecidable Theories of Lyndon Algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

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