Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals

Keyphrases

• High-order 100%
• Third Order 100%
• Second-order Quantifier Elimination 100%
• Semantical Analysis 100%
• Knowledge Representation 50%
• Approximate Reasoning 50%
• Relational Database 50%
• Order Relation 50%
• Deductive Databases 50%
• Classical Logic 50%
• Commonsense Reasoning 50%
• Accessibility Relation 50%
• Relational Knowledge 50%
• Finding Correspondences 50%
• Knowledge Database 50%
• Correspondence Theory 50%

Computer Science

• Quantifier Elimination 100%
• Relational Database 50%
• Order Variable 50%
• Finding Correspondence 50%
• Commonsense Reasoning 50%
• Accessibility Relation 50%
• Knowledge Database 50%
• Correspondence Theory 50%