Theory discovery from data with mixed quantifiers

• 1 February 1990
• journal article
• Published by Springer Nature in Journal of Philosophical Logic
• Vol. 19  (1)
• https://doi.org/10.1007/bf00211184

Abstract

Keywords

• DISCOVERY FROM DATA
• FORMULAS
• QUANTIFIER PREFIX COMPLEXITY
• MIXED QUANTIFIERS
• RELIABLY INFERRED
• THEORIES