• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Induction Models on N.
A. Dileep, Kuldeep S. Meel and Ammar F. Sabili.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), April 2020.
We generalize the definition of an Induction Model given by L. Henkin (1960). The main goal of the paper is to study reduction and equivalence between these Induction Models. We give a formal definition for these concepts and then prove a criterion which can be used to check when one Induction Model can be reduced to or is equivalent to another Induction Model. We also look at the base cases and generating functions which can give us an Induction Model. There are three cases which we look at depending on the structure of the generating functions (arbitrary, additive, multiplicative).
@inproceedings{DMS20,
title={Induction Models on N},
author={Dileep, A. and Meel, Kuldeep S. and Sabili, Ammar F.},
booktitle=LPAR,
month=apr,
bib2html_dl_pdf={../Papers/lpar20.pdf},
bib2html_pubtype={Refereed Conference},
bib2html_rescat={Misc},
year={2020},
abstract={
We generalize the definition of an Induction Model given by L. Henkin
(1960). The main goal of the paper is to study reduction and equivalence
between these Induction Models.
We give a formal definition for these concepts and then prove a criterion
which can be used to check when one Induction Model can be reduced to or is
equivalent to another Induction Model.
We also look at the base cases and generating functions which can give us an
Induction Model. There are three cases which we look at depending on the
structure of the generating functions (arbitrary, additive, multiplicative).
},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Tue Apr 28, 2026 01:27:21