Search
Now showing items 1-4 of 4
Algunas propiedades formales de un sistema deductivo con interrogaciones
(Universidad Nacional de Córdoba, 1996-11)
Presupondremos a lo largo de este trabajo Cierta familiaridad con el método de los tableau o block tableau, según -por ejemplo- la exposición de Smullyan (1968).
Aspectos estructurales de la inferencia con predicados vagos
(Universidad Nacional de Córdoba, 2001-08)
En este trabajo consideraremos un planteo estructural de la inferencia con predicados vagos, tomando sobre todo en cuenta, por un lado, la propiedad señalada por Copelaud, quien encuentra que el razonamiento que conduce a ...
Incertidumbre y lógica en el razonamiento con opiniones parcialmente inconsistentes
(Universidad Nacional de Córdoba, 1999-07)
En este trabajo consideramos dos actitudes posibles para tratar la inferencia con afirmaciones parcialmente inconsistentes. Por una parte, nos ocupamos de la lógica paraconsistente de Jaskowski, según la presentación de ...
Inferencias con interrogaciones en la teoría de representación del discurso
(Universidad Nacional de Córdoba, 1998-10)
Se puede decir -dice Wisniewski- que algunas de ellas gobiernan inferencias erotéticas reales Pero también se las puede ver como las reglas que gobiernan la introducción de nuevas preguntas en el discurso, que son correctas ...