An undecidable problem in the algebra of truth-tables

DOI10.2307/2268614zbMath0058.24606OpenAlexW1969380295MaRDI QIDQ5833215

Jan Kalicki

Publication date: 1954

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268614

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (1)

Translations and structure for partial propositional calculi

Cites Work

• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• Recursively enumerable sets of positive integers and their decision problems

This page was built for publication: An undecidable problem in the algebra of truth-tables