Contributions to the reduction theory of the decision problem

DOI10.1007/BF02021316zbMath0041.35105OpenAlexW2991667407MaRDI QIDQ5802125

J. Suranyi

Publication date: 1950

Published in: Acta Mathematica Academiae Scientiarum Hungaricae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02021316

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (5)

Satisfiability of formulae with one \(\forall\) is decidable in exponential time ⋮ Skolem reduction classes ⋮ Contributions to the reduction theory of the decision problem ⋮ On the Gödel class with identity ⋮ The unsolvability of the Gödel class with identity

Cites Work

• Zum Entscheidungsproblem des logischen Funktionenkalküls
• A note on the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Ein Verfahren der mathematischen Logik

This page was built for publication: Contributions to the reduction theory of the decision problem