A Sharp Proof Rule for Procedures in wp Semantics.
A. BijlsmaP. A. MatthewsJ. G. WiltinkPublished in: Acta Informatica (1989)
Keyphrases
- deduction rules
- logical rules
- complete axiomatization
- proof theory
- active rules
- formal semantics
- rule language
- logic programming
- semantic information
- active databases
- proof theoretic
- higher order logic
- high quality
- precise definition
- linear logic
- rule engine
- conditional logic
- transformation rules
- rule learning
- association rules