4. El razonamiento común: un obstáculo epistemológico en geometría - Héctor Bohórquez; Ana Ismenia Henández de Rincón En este artículo se propone y analiza el obstáculo del razonamiento común, esto es, la constitución del razonamiento utilizado en la interacción social diaria como obstáculo para el razonamiento lógico deductivo en geometría y por tanto para su aprendizaje.
6. Extending Classical Logic with Inductive Definitions - Denecker, Marc The goal of this paper is to extend classical logic with a generalized notionof inductive definition supporting positive and negative induction, toinvestigate the properties of this logic, its relationships to other logics inthe area of non-monotonic reasoning, logic programming and deductive databases,and to show its application for knowledge representation by giving a typologyof definitional knowledge.
7. Continuations, proofs and tests - Guerrini, Stefano; Masini, Andrea Continuation Passing Style (CPS) is one of the most important issues in thefield of functional programming languages, and the quest for a primitive notionof types for continuation is still open.
8. Evaluating Defaults - Kyburg Jr., Henry E.; Teng, Choh Man The criteria of adequacy for a defaultinference can be extended by thresholding to criteria of adequacy for anextension.