Useless Explicit Induction Reasoning

## Author: Sorin Stratulat

## Paper Information

Title: | Useless Explicit Induction Reasoning |

Authors: | Sorin Stratulat |

Proceedings: | PARIS Contributed papers |

Editors: | Alexis Saurin, David Baelde and Radu Calinescu |

Keywords: | induction reasoning, explicit induction reasoning, first-order logic with inductive predicates |

Abstract: | ABSTRACT. In the setting of classical first-order logic with inductive predicates, we give as example a theory for which the conjectures that cannot be proved without induction reasoning are still not provable by adding non-trivial explicit induction reasoning. |

Pages: | 4 |

Talk: | Jul 07 14:00 (Session 28J: Contributed talks) |

Paper: |