Namespace Logic: A Logic for a Reflective Higher-Order Calculus.
L. Gregory MeredithMatthias RadestockPublished in: TGC (2005)
Keyphrases
- higher order
- lambda calculus
- higher order logic
- predicate logic
- logic programming
- sound and complete axiomatization
- automated reasoning
- multi valued
- logical framework
- natural deduction
- digital circuits
- algebraic structure
- epistemic logic
- formal theory
- neural network
- defeasible logic
- markov random field
- computational properties
- computer algebra
- transition systems
- multi agent systems
- genetic algorithm