The decision problem for formulas with a small number of atomic subformulas

DOI10.2307/2273045zbMath0276.02029OpenAlexW1992425561MaRDI QIDQ4401431

Harry R. Lewis, Warren D. Goldfarb

Publication date: 1973

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

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Related Items

Implication of clauses is undecidable, Prefix classes of Krom formulas, Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten, Conservative reduction classes of Krom formulas, Thue trees

Cites Work

• Unnamed Item