ON THE SATISFIABILITY OF LINEAR-SYSTEMS OF EQUATIONS FOR QUANTIFIERS

Authors
LI LA LI HL LIU YX
Citation
La. Li et al., ON THE SATISFIABILITY OF LINEAR-SYSTEMS OF EQUATIONS FOR QUANTIFIERS, Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences, 36(4), 1993, pp. 385-393
Citations number
8
Categorie Soggetti
Multidisciplinary Sciences
Journal title
Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences → ACNP
ISSN journal
10016511
Volume
36
Issue
4
Year of publication
1993
Pages
385 - 393
Database
ISI
SICI code
1001-6511(1993)36:4<385:OTSOLO>2.0.ZU;2-3
Abstract
In this paper, the satisfiability problem of a linear system of equati ons for quantifiers is discussed. This problem arises from the mechani cal theorem-proving on modules. A discriminating condition for this pr oblem is obtained which places no restriction on quantifiers. Some app lications to Abelian groups, elementary number theory, vector spaces, ect. are discussed.