Extending Classical Logic with Inductive Definitions
<|reference_start|>Extending Classical Logic with Inductive Definitions: 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.<|reference_end|>
@article{denecker2000extending,
    title={Extending Classical Logic with Inductive Definitions},
    author={Marc Denecker},
    journal={arXiv preprint arXiv:cs/0003019},
    year={2000},
    archivePrefix={arXiv},
    eprint={cs/0003019},
    primaryClass={cs.LO cs.AI}
}