scientific article; zbMATH DE number 1421198

MaRDI QIDQ4946227zbMATH OpenFDO

Authors Andreas Nonnengart, Andrzej Szałas, Hans Jürgen Ohlbach

Publication date 26 December 2000

zbMATH Keywords

algorithmsquantifier eliminationsurvey

Mathematics Subject Classification ID

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

Recommendations

• The Ackermann approach for modal logic, correspondence theory and second-order reduction
• The Monotonous Elimination of Predicate Variables
• SCAN -- elimination of predicate quantifiers
• Relational Methods in Computer Science
• Elimination problems in logic: a brief history

Cited in

(10)

• Elimination problems in logic: a brief history
• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
• Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
• Towards incorporating background theories into quantifier elimination
• The Monotonous Elimination of Predicate Variables
• SCAN -- elimination of predicate quantifiers
• First-order resolution methods for modal logics
• scientific article; zbMATH DE number 7453108 (Why is no real title available?)
• Relational Methods in Computer Science
• Computing witnesses using the SCAN algorithm

This page was built for publication:

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