Simultaneous quantifier elimination

DOI10.1007/BFB0095435MaRDI QIDQ4247095zbMATH OpenFDO

Authors Serge Autexier, Heiko Mantel, Werner Stephan

Publication date 16 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

sequent calculussimultaneous elimination of multiple quantifiers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Quantifier elimination by dependency sequents
• Applying Linear Quantifier Elimination
• Quantifier elimination for real algebra -- the quadratic case and beyond

Cited in

(6)

• Higher-order quantifier elimination, counter simulations and fault-tolerant systems
• Quantifier elimination in automatic loop parallelization
• Towards incorporating background theories into quantifier elimination
• Quantifiers and the system KE: Some surprising results
• The Monotonous Elimination of Predicate Variables
• On the elimination of some higher type quantifiers

This page was built for publication: Simultaneous quantifier elimination

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