The omega-rule interpretation of transfinite provability logic.
David Fernández-DuqueJoost J. JoostenPublished in: Ann. Pure Appl. Log. (2018)
Keyphrases
- rule engine
- logic programming
- high level
- image interpretation
- classical logic
- association rules
- rule sets
- modal logic
- asynchronous circuits
- inference process
- artificial intelligence
- defeasible logic
- active rules
- multi valued
- rule induction
- classification rules
- database
- automated reasoning
- default logic
- formal theory
- evolutionary algorithm
- logical rules
- sound and complete axiomatization