Una caracterización estructural de la correctud-completud extendida en la lógica clásic
Amor, José Alfredo
Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM
dor_id: 4115483
506.#.#.a: Público
590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única
510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus); Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); Directory of Open Access Journals (DOAJ); European Reference Index for the Humanities (ERIH PLUS); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); SCOPUS, Journal Storage (JSTOR); The Philosopher’s Index, Ulrich’s Periodical Directory
561.#.#.u: https://www.filosoficas.unam.mx/
650.#.4.x: Artes y Humanidades
336.#.#.b: article
336.#.#.3: Artículo de Investigación
336.#.#.a: Artículo
351.#.#.6: https://critica.filosoficas.unam.mx/index.php/critica
351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía
351.#.#.a: Artículos
harvesting_group: RevistasUNAM
270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx
590.#.#.c: Open Journal Systems (OJS)
270.#.#.d: MX
270.1.#.d: México
590.#.#.b: Concentrador
883.#.#.u: https://revistas.unam.mx/catalogo/
883.#.#.a: Revistas UNAM
590.#.#.a: Coordinación de Difusión Cultural
883.#.#.1: https://www.publicaciones.unam.mx/
883.#.#.q: Dirección General de Publicaciones y Fomento Editorial
850.#.#.a: Universidad Nacional Autónoma de México
856.4.0.u: https://critica.filosoficas.unam.mx/index.php/critica/article/view/1006/973
100.1.#.a: Amor, José Alfredo
524.#.#.a: Amor, José Alfredo (2003). Una caracterización estructural de la correctud-completud extendida en la lógica clásic. Crítica. Revista Hispanoamericana de Filosofía; Vol. 35 Núm. 103, 2003; 69-82. Recuperado de https://repositorio.unam.mx/contenidos/4115483
245.1.0.a: Una caracterización estructural de la correctud-completud extendida en la lógica clásic
502.#.#.c: Universidad Nacional Autónoma de México
561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM
264.#.0.c: 2003
264.#.1.c: 2019-01-08
506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx
884.#.#.k: https://critica.filosoficas.unam.mx/index.php/critica/article/view/1006
001.#.#.#: 034.oai:ojs2.132.248.184.97:article/1006
041.#.7.h: eng
520.3.#.a: En este artículo trabajo con la lógica de primer orden y presento dos resultados metalógicos respecto a sistemas axiomáticos que satisfacen la propiedad de correctud-completud restringida. El primer resultado relaciona la propiedad de que el sistema satisfaga Modus Ponens como condición necesaria y suficiente para la completud extendida del sistema. El segundo relaciona la propiedad de que el sistema satisfaga el Metateorema de la Deducción como condición necesaria y suficiente para la correctud extendida del sistema. Estos resultados muestran que la elección de esa regla de inferencia y de ese metateorema, para un sistema axiomático particular, no son sólo cuestión de gusto personal o de conveniencia práctica, sino que desempeñan un papel fundamental para la correctud-completud extendida del sistema axiomático. De hecho, pueden considerarse como propiedades estructurales que caracterizan que el sistema axiomático cumpla la correctud y la completud extendidas.
773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol. 35 Núm. 103 (2003); 69-82
773.1.#.o: https://critica.filosoficas.unam.mx/index.php/critica
022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503
310.#.#.a: Cuatrimestral
300.#.#.a: Páginas: 69-82
264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM
doi: https://doi.org/10.22201/iifs.18704905e.2003.1006
handle: 4ccb3b782f247a06
harvesting_date: 2023-08-23 17:00:00.0
856.#.0.q: application/pdf
file_creation_date: 2005-05-15 00:28:09.0
file_modification_date: 2010-10-25 01:53:00.0
file_name: 85cb40a588a129082dd7c1c7adc59fd206b1db1d3e68b29c0aae66744370a00a.pdf
file_pages_number: 14
file_format_version: application/pdf; version=1.6
file_size: 138454
245.1.0.b: A Structural Characterization of Extended Correctness-Completeness in Classical Logic
last_modified: 2023-08-23 17:00:00
license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es
license_type: by-nc-nd
Amor, José Alfredo
Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM
Amor, José Alfredo (2003). Una caracterización estructural de la correctud-completud extendida en la lógica clásic. Crítica. Revista Hispanoamericana de Filosofía; Vol. 35 Núm. 103, 2003; 69-82. Recuperado de https://repositorio.unam.mx/contenidos/4115483