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

DOI10.1007/BF01980247zbMATH Open0774.03011MaRDI QIDQ1803022FDOQ1803022

E. A. Palyutin

Publication date: 29 June 1993

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

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

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

Cited In (3)

• Title not available (Why is that?)
• Modularizing the Elimination of r=0 in Kleene Algebra
• Horn sentences excluding a prime

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)