Kalicki Jan. An undecidable problem in the algebra of truth-tables [Book Review]

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

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.
An undecidable problem in the algebra of truth-tables.Jan Kalicki - 1954 - Journal of Symbolic Logic 19 (3):172-176.
A finite relation algebra with undecidable network satisfaction problem.Robin Hirsch - 1999 - Logic Journal of the IGPL 7 (4):547-554.
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.
Kalicki Jan. Note on truth-tables.J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (1):65-65.
An Undecidable Property of Recurrent Double Sequences.Mihai Prunescu - 2008 - Notre Dame Journal of Formal Logic 49 (2):143-151.
Review: Jan Kalicki, Note on Truth-Tables. [REVIEW]J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (1):65-65.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
A test for the existence of tautologies according to many-valued truth-tables.Jan Kalicki - 1950 - Journal of Symbolic Logic 15 (3):182-184.
Kalicki Jan. A test for the equality of truth-tables.Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (3):268-269.
Review: Jan Kalicki, A Test for the Equality of Truth-Tables. [REVIEW]Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (3):268-269.
Review: Jan Kalicki, A Test for the Existence of Tautologies According to Many-Valued Truth-Tables. [REVIEW]J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (1):65-65.
Review: Henry S. Leonard, Two-Valued Truth Tables for Modal Functions. [REVIEW]Jan Kalicki - 1951 - Journal of Symbolic Logic 16 (4):288-288.
Generic Complexity of Undecidable Problems.Alexei G. Myasnikov & Alexander N. Rybalov - 2008 - Journal of Symbolic Logic 73 (2):656 - 673.

Analytics

Added to PP
2016-06-30

Downloads
5 (#1,531,351)

6 months
5 (#629,992)

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