On the reduction of the decision problem

DOI10.2307/2267211zbMATH Open0029.09903OpenAlexW2096362687MaRDI QIDQ5783650FDOQ5783650

J. Suranyi, L. Kalmár

Publication date: 1947

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

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

zbMATH Keywords

Logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Zum Entscheidungsproblem des logischen Funktionenkalküls
• Beiträge zum Entscheidungsproblem der mathematischen Logik

Cited In (4)

• Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
• Sur les formes normales
• Contributions to the reduction theory of the decision problem
• Contributions to the reduction theory of the decision problem

This page was built for publication: On the reduction of the decision problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5783650)