×

zbMATH — the first resource for mathematics

The decision problem for formulas in prenex conjunctive normal form with binary disjunctions. (English) Zbl 0207.01301

MSC:
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] DOI: 10.1305/ndjfl/1093958753 · Zbl 0172.00803 · doi:10.1305/ndjfl/1093958753
[2] Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie Classe 24 pp 12– (1931)
[3] DOI: 10.1145/321203.321206 · Zbl 0149.12405 · doi:10.1145/321203.321206
[4] this Journal 27 pp 317– (1962)
[5] DOI: 10.1007/BF01343730 · Zbl 0131.24602 · doi:10.1007/BF01343730
[6] Logique et analyse 43 pp 403– (1968)
[7] Mathematical interpretation of formal systems pp 57– (1955)
[8] Doklady Akademii Nauk SSSR 159 pp 1420– (1964)
[9] Mathematica scandinavica 21 pp 233– (1967) · Zbl 0169.31003 · doi:10.7146/math.scand.a-10862
[10] DOI: 10.1002/malq.19670130104 · Zbl 0162.31601 · doi:10.1002/malq.19670130104
[11] Introduction to model theory and to the metamathematics of algebra (1963) · Zbl 0118.25302
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.