Induction Models on \mathbb{N}

Autor: Dileep, A., Meel, Kuldeep S., Sabili, Ammar F.

Publikováno v: LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2020, Vol. 73, Pages 169-190

Mathematical induction is a fundamental tool in computer science and mathematics. Henkin initiated the study of formalization of mathematical induction restricted to the setting when the base case B is set to singleton set containing 0 and a unary ge

Externí odkaz: http://arxiv.org/abs/2008.06410