| Título: |
Basic logic for true and false LBVF Lógica básica para la verdad y la falsedad LBVF |
| Autores: | Sierra A, Manuel; Universidad EAFIT |
| Fecha: | 2007-12-12 |
| Publicador: | Revista Ingeniería y ciencia |
| Fuente: |
 |
| Tipo: |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
| Tema: |
truth, falsity, alternating affirmation, alternating negation, paracomplete, good foundation, liar’s paradox. verdad, falsedad, afirmación alterna, negación alterna, paracompleto, bien fundado, paradoja del mentiroso. |
| Descripción: |
System LBVF is an extension of the classical positive logic, the system includes operators of alternating affirmation, alternating negation and determinability, and the operators of classical negation and good foundation are defined as from them. The system is characterized by a semantic of traditional valuations. Respect to the negation and affirmation operators the system is paracomplete.In the system the definitions of truth and falsity presented by Aristotle are really characterized, representing the Aristotelian falsity with the operator of alternating negation and the Aristotelian truth with the operator of alternating affirmation. This interpretation gives solution to a variant of the liar’s paradox. El sistema LBVF se construye como una extensión de la lógica clásica positiva, al incluir operadores de afirmación alterna, negación alterna y completez, además, se definen a partir de ellos los operadores de negación clásica y buena fundamentación. El sistema es caracterizado por una semántica de valuaciones tradicionales con la cual se prueba que, respecto a los operadores de afirmación y de negación alterna el sistema es paracompleto. En el sistema se caracterizan las definiciones de verdad y falsedad presentadas por Aristóteles, representando la falsedad aristotélica con el operador de negación alterna y la verdad aristotélica con el operador de afirmación alterna, lográndose con esta interpretación dar solución a una variante de la paradoja del mentiroso. |
| Idioma: | Español |
1 Navegation system for tubular upper digestive tract,Sistema de navegación tubular para vías digestivas altas por Mora, Andrea Del Mar Casallas; Universidad Manuela Beltran,Serrato, Lerly Yulieth Amaris; Universidad Manuela Beltran,Gaitán, Cindy Lizeth Carvajal; Universidad Manuela Beltran,Cifuentes, Camilo Andrés Rojas; Universidad Manuela Beltran | 6 Product and Quotient of Independent Gauss Hypergeometric Variables,Producto y Cociente de Variables Independientes Hipergeométrica de Gauss por Nagar, Daya K; Universidad de Antioquia,Bedoya Valencia, Danilo |
2 | 7 Application of a Method Based in Performance for the Seismic Analysis and Design of Reinforced Concrete Bridges,Aplicación de un método basado en el desempeño para el análisis y diseño sismo resistente de puentes de concreto reforzado por Ospina, A; Alcaldía de Medellín,Urrego, H; AREA Ingenieros Consultores,Botero, J.C; Universidad EAFIT |
3 Estimación de la similitud semántica de tareas entre procesos de negocio de telecomunicaciones,Semantic similarity estimation of tasks between telecommunications business processes por Ordóñez Ante, Leandro; Grupo de Ingeniería Telemática Universidad del Cauca,Bastidas Narváez, Adriana X; Grupo de Ingeniería Telemática Universidad del Cauca,Corrales, Juan Carlos; Grupo de Ingeniería Telemática Universidad del Cauca | 8 Simulación de propiedades mecánicas demulticapas de Zr/ZrN y TiN/ZrNempleando el método de elementos finitos,Simulation of mechanical properties of Zr/ZrN and TiN/ZrN multilayers using the finite elements method por Aristizábal–Soto, H. D.; Universidad Nacional de Colombia,Agudelo, L. C.; Universidad Nacional de Colombia,Bedoya Hincapié, C. M.; Universidad Nacional de Colombia,Restrepo Parra, E.; Universidad Nacional de Colombia |
4 The popularization of science and science journalism,La divulgación de la ciencia y el periodismo científico por Mercado Percia, Heiner; Universidad EAFIT | 9 Desarrollo de una plataforma de diseño e ingeniería naval,Desarrollo de una plataforma de diseño e ingeniería naval por Leiceaga Baltar, Xoan A.; Universidade de Vigo,Prieto, J.; Universidade de Vigo,Rodríguez, M.; Universidade de Vigo,Zapatero, F. G.; Universidade de Vigo,Soto, E.; Universidade de Vigo,Teijeiro, M.; Universidade de Vigo. |
5 El problema de π-geografía y el problema de Hurwitz,The π-geography problem and the Hurwitz problem por Cadavid-M., Carlos A; Universidad EAFIT,Vélez-C., Juan D.; Universidad Nacional de Colombia, Medellín | 10 Some modal logics associated to the reasoning of intelligent agents,Algunas lógicas modales asociadas al razonamiento de agentes inteligentes por Rúa M., Gloria; Universidad EAFIT,Sierra A., Manuel; Universidad EAFIT |