A Categorical Interpretation of Partial Function Logic and Hoare Logic.
Peter M. W. KnijnenburgFrank NordemannPublished in: LFCS (1992)
Keyphrases
- sound and complete axiomatization
- multi valued
- logic programming
- classical logic
- modal logic
- automated reasoning
- logical framework
- formal theory
- epistemic logic
- propositional dynamic logic
- knowledge base
- artificial intelligence
- databases
- computational properties
- defeasible logic
- nonmonotonic logics
- deductive reasoning
- machine learning