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

DOI10.1007/BF01980247MaRDI QIDQ1803022zbMATH OpenFDO

Authors E. A. Palyutin

Publication date 29 June 1993

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

Full work available at URL https://doi.org/10.1007/BF01980247

zbMATH Keywords

Horn theoriespositively primitive formulas

Mathematics Subject Classification ID

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

Recommendations

• Models and quantifier elimination for quantified Horn formulas
• Categorical Horn classes. II
• On elimination of quantifiers in some non-classical mathematical theories
• scientific article; zbMATH DE number 1534359
• scientific article; zbMATH DE number 4039866

Cites work

• Normality of Horn theories with a nonmaximal spectrum

Cited in

(3)

• Horn sentences excluding a prime
• scientific article; zbMATH DE number 1534359 (Why is no real title available?)
• Modularizing the Elimination of r=0 in Kleene Algebra

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

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