HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC

DOI10.1017/BSL.2015.10zbMath1369.03013arXiv1504.04798OpenAlexW2155437720MaRDI QIDQ2795296

Richard Zach, Paolo Mancosu

Publication date: 18 March 2016

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

Full work available at URL: https://arxiv.org/abs/1504.04798

zbMATH Keywords

algebra of logicdecision problemDavid Hilbertdecision procedureHeinrich Behmann

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) History of mathematical logic and foundations (03-03)

Related Items (2)

Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ Carnap's early metatheory: scope and limits

Cites Work

• Solvable cases of the decision problem
• A note on the Entscheidungsproblem
• Unnamed Item

This page was built for publication: HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC