Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden
DOI:
https://doi.org/10.22370/sst.2020.8.4926Palabras clave:
lógica, equivalencia lógica, signatura, primer ordenResumen
Este artículo presenta las diferencias existentes entre los conceptos de equivalencia definicional y Morita-equivalencia entre teorías frente al de equivalencia lógica también entre teorías, todos ellos en una Lógica multivariada de primer orden. Para llegar a esto, la primera parte del texto se centra en explicar con detenimiento los conceptos de signatura, estructura y semántica usual que nos encontramos en esta lógica. Todos ellos aplicados nos crean el marco adecuado para presentar y mejorar la definición tanto de la equivalencia definicional, como de la Morita-equivalencia entre dos teorías con respecto a los artículos que ya lo habían hecho y que aparecen en la bibliografía.
Citas
Barrett, T. W. y Halvorson, H. (2016). Morita equivalence. The Review of Symbolic Logic, 9(3):556–582.
Barrett, T. W. y Halvorson, H. (2017). Quine’s conjecture on many-sorted logic. Synthese, 194(9):3563–3582.
Halvorson, H. (2019). The Logic in Philosophy of Science. Cambridge: Cambridge University Press.
Hodges, W. (1993). Model Theory. Cambridge: Cambridge University Press.
Manzano, M. (1996). Extensions of first-order logic. Cambridge: Cambridge University Press.
Mceldowney, P. A. (2019). On morita equivalence and interpretability. The Review of Symbolic Logic, pages 1–28.
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.