Conservative reduction classes of Krom formulas
From MaRDI portal
Publication:3947642
DOI10.2307/2273385zbMath0487.03005MaRDI QIDQ3947642
Egon Börger, Stål Aanderaa, Harry R. Lewis
Publication date: 1982
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273385
satisfiability; finite satisfiability; prenex conjuctive normal form; pure quantification theory; unsolvable decision problem
03D35: Undecidability and degrees of sets of sentences
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
Cites Work