Preservativity logic: An analogue of interpretability logic for constructive theories.
Rosalie IemhoffPublished in: Math. Log. Q. (2003)
Keyphrases
- defeasible logic
- proof theory
- multi valued
- logic programming
- deontic logic
- predicate logic
- nonmonotonic logics
- modal logic
- automated reasoning
- classical logic
- sound and complete axiomatization
- database
- computational properties
- probability theory
- prediction accuracy
- artificial intelligence
- data mining
- databases
- real time