A Combinator-Based Superposition Calculus for Higher-Order Logic
Ahmed Bhayat, Giles Reger
Topics & Concepts
Combinatory logicAutomated theorem provingCalculus (dental)ExtensionalityComputer scienceGas meter proverFirst-order logicPropositional calculusZeroth-order logicProgramming languageAlgebra over a fieldMathematicsAlgorithmMathematical proofPure mathematicsDescription logicMultimodal logicGeometryDentistryMedicineLogic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Database Systems and Queries