## Extending Classical Logic with Inductive Definitions (2000)

### Cached

### Download Links

- [www.cs.kuleuven.ac.be]
- [www.cs.kuleuven.ac.be]
- [www.cs.kuleuven.be]
- [arxiv.org]
- [www.cs.kuleuven.ac.be]
- DBLP

### Other Repositories/Bibliography

by
Marc Denecker

Citations: | 58 - 38 self |

### BibTeX

@INPROCEEDINGS{Denecker00extendingclassical,

author = {Marc Denecker},

title = {Extending Classical Logic with Inductive Definitions},

booktitle = {},

year = {2000},

pages = {703--717},

publisher = {Springer}

}

### OpenURL

### Abstract

The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of non-monotonic reasoning, logic programming and deductive databases, and to show its application for knowledge representation by giving a typology of definitional knowledge.