Elimination of quantifiers in Horn theories having a small number of models

DOI10.1007/BF01980247zbMath0774.03011MaRDI QIDQ1803022

Evgeniĭ Andreevich Palyutin

Publication date: 29 June 1993

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

Horn theoriespositively primitive formulas

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Normality of Horn theories with a nonmaximal spectrum

This page was built for publication: Elimination of quantifiers in Horn theories having a small number of models