Constructible sets in lattice-valued models
We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s work on Intuitionistic Kripke models of Set Theory. Firstly, we consider constructable sets within valued models of Set Theory. We present two distinct constructions of the constructable universe: L B and L B...
- Autores:
-
Moncayo Vega, Jose Ricardo
- Tipo de recurso:
- Fecha de publicación:
- 2023
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/83833
- Palabra clave:
- 510 - Matemáticas
Teoría de conjuntos
Set theory
Funciones de conjuntos
Set Functions
Algebra abstracta
Algebra, abstract
Valued models
Abstract logics
Residuated lattices
Kripke models
Constructible sets
Modelos valuados
Lógicas abstractas
Retículos residuales
Modelos de Kripke
Conjuntos construibles
- Rights
- openAccess
- License
- Atribución-NoComercial-SinDerivadas 4.0 Internacional
id |
UNACIONAL2_e5e0659fe442bc7558fbda756faec3f9 |
---|---|
oai_identifier_str |
oai:repositorio.unal.edu.co:unal/83833 |
network_acronym_str |
UNACIONAL2 |
network_name_str |
Universidad Nacional de Colombia |
repository_id_str |
|
dc.title.eng.fl_str_mv |
Constructible sets in lattice-valued models |
dc.title.translated.spa.fl_str_mv |
Conjuntos construibles en modelos valuados en retículos |
title |
Constructible sets in lattice-valued models |
spellingShingle |
Constructible sets in lattice-valued models 510 - Matemáticas Teoría de conjuntos Set theory Funciones de conjuntos Set Functions Algebra abstracta Algebra, abstract Valued models Abstract logics Residuated lattices Kripke models Constructible sets Modelos valuados Lógicas abstractas Retículos residuales Modelos de Kripke Conjuntos construibles |
title_short |
Constructible sets in lattice-valued models |
title_full |
Constructible sets in lattice-valued models |
title_fullStr |
Constructible sets in lattice-valued models |
title_full_unstemmed |
Constructible sets in lattice-valued models |
title_sort |
Constructible sets in lattice-valued models |
dc.creator.fl_str_mv |
Moncayo Vega, Jose Ricardo |
dc.contributor.advisor.none.fl_str_mv |
Zambrano Ramírez, Pedro Hernán |
dc.contributor.author.none.fl_str_mv |
Moncayo Vega, Jose Ricardo |
dc.contributor.researchgroup.spa.fl_str_mv |
Interacciones Entre Teoría de Modelos, Teoría de Conjuntos, Categorías, Análisis y Geometría |
dc.subject.ddc.spa.fl_str_mv |
510 - Matemáticas |
topic |
510 - Matemáticas Teoría de conjuntos Set theory Funciones de conjuntos Set Functions Algebra abstracta Algebra, abstract Valued models Abstract logics Residuated lattices Kripke models Constructible sets Modelos valuados Lógicas abstractas Retículos residuales Modelos de Kripke Conjuntos construibles |
dc.subject.lemb.none.fl_str_mv |
Teoría de conjuntos Set theory Funciones de conjuntos Set Functions Algebra abstracta Algebra, abstract |
dc.subject.proposal.eng.fl_str_mv |
Valued models Abstract logics Residuated lattices Kripke models Constructible sets |
dc.subject.proposal.spa.fl_str_mv |
Modelos valuados Lógicas abstractas Retículos residuales Modelos de Kripke Conjuntos construibles |
description |
We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s work on Intuitionistic Kripke models of Set Theory. Firstly, we consider constructable sets within valued models of Set Theory. We present two distinct constructions of the constructable universe: L B and L B , and prove that the they are isomorphic to V (von Neumann universe) and L (Gödel’s constructible universe), respectively. Secondly, we generalize Fitting’s work on Intuitionistic Kripke models of Set Theory using Ono and Komori’s Residuated Kripke models. Based on these models, we provide a general- ization of the von Neumann hierarchy in the context of Modal Residuated Logic and prove a translation of formulas between it and a suited Heyting valued model. We also propose a notion of universe of constructable sets in Modal Residuated Logic and discuss some aspects of it. |
publishDate |
2023 |
dc.date.accessioned.none.fl_str_mv |
2023-05-19T16:26:35Z |
dc.date.available.none.fl_str_mv |
2023-05-19T16:26:35Z |
dc.date.issued.none.fl_str_mv |
2023 |
dc.type.spa.fl_str_mv |
Trabajo de grado - Maestría |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/masterThesis |
dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
dc.type.content.spa.fl_str_mv |
Text |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TM |
status_str |
acceptedVersion |
dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/83833 |
dc.identifier.instname.spa.fl_str_mv |
Universidad Nacional de Colombia |
dc.identifier.reponame.spa.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
dc.identifier.repourl.spa.fl_str_mv |
https://repositorio.unal.edu.co/ |
url |
https://repositorio.unal.edu.co/handle/unal/83833 https://repositorio.unal.edu.co/ |
identifier_str_mv |
Universidad Nacional de Colombia Repositorio Institucional Universidad Nacional de Colombia |
dc.language.iso.spa.fl_str_mv |
eng |
language |
eng |
dc.relation.references.spa.fl_str_mv |
Gerard Allwein and Wendy MacCaull, A Kripke Semantics for the Logic of Gelfand Quantales, Studia Logica 68 (2001), no. 2, 173–228. Gerard Allwein and Wendy MacCaull, A Kripke Semantics for the Logic of Gelfand Quantales, Studia Logica 68 (2001), no. 2, 173–228. Radim Belohlavek, Joseph W. Dauben, and George J. Klir, Fuzzy Logic and Mathematics: A Historical Perspective, 1 ed., Oxford University Press, New York, 2017 (eng). John L. Bell, Set Theory: Boolean-Valued Models and Independence Proofs, 3 ed., Oxford University Press UK, 2005. John Benavides N., La independencia de la hipótesis del continuo sobre un modelo fibrado para la teoría de conjuntos., 2004. Wim J. Blok and Don L. Pigozzi, Algebraizable Logics, vol. 77, American Math- ematical Society, Providence, 1989. Dumitru Buşneag and Dana Piciu, Some types of filters in residuated lattices, Soft Computing - A Fusion of Foundations, Methodologies and Applications 18 (2014), no. 5, 825–837. Xavier Caicedo, Lógica de los haces de estructuras., Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales XIX (1995), no. 74, 569– 585. Chen C. Chang, Sets constructible using Lκ,κ, Axiomatic Set Theory (Proc. Sym- pos. Pure Math. Vol. XIII (1971), 1–8. Robert P. Dilworth, Non-Commutative Residuated Lattices, Transactions of the American Mathematical Society 46 (1939), no. 3, 426–444. Brian A. Davey and Hilary A. Priestley, Introduction to Lattices and Order, 2 ed., Cambridge University Press, 2002. Michael Dummett, A Propositional Calculus with Denumerable Matrix, The Jour- nal of Symbolic Logic 24 (1959), no. 2, 97–106. Francesc Esteva and Lluís Godo, Monoidal t-norm Based Logic: Towards a Logic for Left-continuous t-norms., Fuzzy Sets and Systems 124 (2001), 271–288. Michael P. Fourman and Martin E. Hyland, Sheaf models for analysis, Appli- cations of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 (Michael Fourman, Christopher Mulvey, and Dana Scott, eds.), Springer Berlin Heidelberg, Berlin, Heidelberg, 1979, pp. 280–301. Melvin Fitting, Intuitionistic Logic, Model Theory and Forcing, 1 ed., North- Holland Pub. Co, Amsterdam, 1969. _______, Intuitionistic Model Theory and the Cohen Independence Proofs, Studies in Logic and the Foundations of Mathematics 60 (1970), no. C, 219–226. Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, and Hiroakira Ono, Residuated lattices : an algebraic glimpse at substructural logics, 1 ed., vol. 151, Elsevier, Amsterdam, 2007. Kurt Gödel, Zum intuitionistischen aussagenkalkül, Anzeiger der Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse 69 (1932), 65–66. _______, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, Proceedings of the National Academy of Sciences of the United States of America 24 (1938), no. 12, 556–557. Robin J. Grayson, Heyting-valued models for intuitionistic set theory, Applica- tions of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Springer Berlin Heidelberg, 1979, pp. 402–414. Petr Hájek, Basic fuzzy logic and BL-algebras, Soft Computing 2 (1998), no. 3, 124–128. _____, Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4, Springer Netherlands, Dordrecht, 1998. Petr Hájek and Zuzana Haniková, A set theory within fuzzy logic, Proceedings of The International Symposium on Multiple-Valued Logic (2001), 319–323. ______, A Development of Set Theory in Fuzzy Logic, Beyond Two: Theory and Applications of Multiple-Valued Logic, vol. 114, Physica Heidelberg, 1 ed., 2003, pp. 273–285. Ulrich Höhle, Monoidal Logic, Fuzzy-Systems in Computer Science, Vieweg+Teubner Verlag, 1994, pp. 233–243. ______, Commutative, residuated 1—monoids, Non-Classical Logics and their Applications to Fuzzy Subsets, Springer Netherlands, 1995, pp. 53–106. Thomas Jech, Set Theory, Springer Monographs in Mathematics, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003. Juliette Kennedy, Menachem Magidor, and Jouko Väänänen, Inner Models from Extended Logics: Part 1, Avalaible at https://arxiv.org/pdf/2007.10764.pdf (2020). Saul A. Kripke, A completeness theorem in modal logic, Journal of Symbolic Logic 24 (1959), no. 1, 1–14. ______, Semantical Analysis of Intuitionistic Logic I, Formal Systems and Re- cursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963 (Michael Dummett and John Crossley, eds.), no. 2, North Holland, 1963, pp. 92–130. _____, Semantical Analysis of Modal Logic I. Normal Propositional Calculi, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (1963), no. 5-6, 67–96. Wolfgang Krull, Axiomatische Begründung der allgemeinen Ideal theorie, Sitzungsberichte der physikalisch medizinischen Societäd der Erlangen 56 (1924), 47–63. Kenneth Kunen, Set theory, College Publications, 2011. Kevin C. Lano, Fuzzy sets and residuated logic, Fuzzy Sets and Systems 47 (1992), no. 2, 203 – 220. _____, Set theoretic foundations for fuzzy set theory, and their applications, Log- ical Foundations of Computer Science — Tver ’92 (Berlin, Heidelberg) (Nerode Anil and Mikhail Taitslin, eds.), Springer Berlin Heidelberg, 1992, pp. 258–268. Wendy MacCaull, A note on Kripke semantics for residuated logic, Fuzzy Sets and Systems 77 (1996), no. 2, 229–234. Christopher Mulvey, &, Rendiconti del Circolo Matematico di Palermo 12 (1986), no. 2, 99–104. Hiroakira Ono and Yuichi Komori, Logics without the contraction rule, The Jour- nal of Symbolic Logic 50 (1985), no. 1, 169–201. Hiroakira Ono, Semantical analysis of predicate logics without the contraction rule, Studia Logica 44 (1985), no. 2, 187–196. ______, Substructural Logics and Residuated Lattices — an Introduction, Trends in Logic: 50 Years of Studia Logica, vol. 21, Springer, Dordrecht, 1 ed., 2003, pp. 193–228. Mitsuhiro Okada and Kazushige Terui, The finite model property for various fragments of intuitionistic linear logic, Journal of Symbolic Logic 64 (1999), no. 2, 790–802. Kimmo I. Rosenthal, Quantales and their applications, Longman Scientific & Technical, Essex, England, 1990. Helena Rasiowa and Roman Sikorski, The Mathematics of Metamathematics, Journal of Symbolic Logic 32 (1963), no. 2, 274–275. Dana Scott and John Myhill, Ordinal Definability, Axiomatic Set Theory: Pro- ceedings of Symposia in Pure Mathematics Vol. XIII (1971), 271–278. Dana Scott and Robert Solovay, Boolean-Valued Models for Set Theory, Mimeographed notes for the 1967 American Mathematical Society Symposium on axiomatic set theory, 1967. Parvin Safari and Saeed Salehi, Kripke semantics for fuzzy logics, Soft Computing 22 (2018), no. 3, 839–844. Dirk van Dalen, Logic and Structure, 4 ed., Springer Berlin, Heidelberg, 2004. Morgan Ward, Structure Residuation, Annals of Mathematics 39 (1938), no. 3, 558–568. Morgan Ward and Robert P. Dilworth, Residuated Lattices, Proceedings of the National Academy of Sciences of the United States of America 24 (1938), no. 3, 162–164. Frank Wolter and Michael Zakharyaschev, On the Blok-Esakia Theorem, Leo Esakia on Duality in Modal and Intuitionistic Logics, vol. 4, Springer, Dordrecht, 2014, pp. 99–118. Lotfi A. Zadeh, Fuzzy sets, Information and Control 8 (1965), no. 3, 338–353. Ernest Zermelo, Über Grenzzahlen und Mengenbereiche, Fundamenta Mathemat- icae 16 (1930), no. 1, 29–47 (ger). |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial-SinDerivadas 4.0 Internacional |
dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Atribución-NoComercial-SinDerivadas 4.0 Internacional http://creativecommons.org/licenses/by-nc-nd/4.0/ http://purl.org/coar/access_right/c_abf2 |
eu_rights_str_mv |
openAccess |
dc.format.extent.spa.fl_str_mv |
xviii, 166 páginas |
dc.format.mimetype.spa.fl_str_mv |
application/pdf |
dc.publisher.spa.fl_str_mv |
Universidad Nacional de Colombia |
dc.publisher.program.spa.fl_str_mv |
Bogotá - Ciencias - Maestría en Ciencias - Matemáticas |
dc.publisher.faculty.spa.fl_str_mv |
Facultad de Ciencias |
dc.publisher.place.spa.fl_str_mv |
Bogotá, Colombia |
dc.publisher.branch.spa.fl_str_mv |
Universidad Nacional de Colombia - Sede Bogotá |
institution |
Universidad Nacional de Colombia |
bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/83833/1/license.txt https://repositorio.unal.edu.co/bitstream/unal/83833/2/1014286254.2023%20-%20Jose%20Ricardo%20Moncayo%20Vega.pdf https://repositorio.unal.edu.co/bitstream/unal/83833/3/1014286254.2023%20-%20Jose%20Ricardo%20Moncayo%20Vega.pdf.jpg |
bitstream.checksum.fl_str_mv |
eb34b1cf90b7e1103fc9dfd26be24b4a afdcfa4f25ca719e08b1525cfe41a65d 0b7f598983216ba78024e27a9fc84744 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
_version_ |
1814089576379056128 |
spelling |
Atribución-NoComercial-SinDerivadas 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Zambrano Ramírez, Pedro Hernán81ad894ee4d503e5a9459e9ca6218ef3Moncayo Vega, Jose Ricardo967b9becc33001fc9afa2643e0641affInteracciones Entre Teoría de Modelos, Teoría de Conjuntos, Categorías, Análisis y Geometría2023-05-19T16:26:35Z2023-05-19T16:26:35Z2023https://repositorio.unal.edu.co/handle/unal/83833Universidad Nacional de ColombiaRepositorio Institucional Universidad Nacional de Colombiahttps://repositorio.unal.edu.co/We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s work on Intuitionistic Kripke models of Set Theory. Firstly, we consider constructable sets within valued models of Set Theory. We present two distinct constructions of the constructable universe: L B and L B , and prove that the they are isomorphic to V (von Neumann universe) and L (Gödel’s constructible universe), respectively. Secondly, we generalize Fitting’s work on Intuitionistic Kripke models of Set Theory using Ono and Komori’s Residuated Kripke models. Based on these models, we provide a general- ization of the von Neumann hierarchy in the context of Modal Residuated Logic and prove a translation of formulas between it and a suited Heyting valued model. We also propose a notion of universe of constructable sets in Modal Residuated Logic and discuss some aspects of it.Investigamos diferentes construcciones de la teoría de conjuntos en Lógica Residual basados en el trabajo de Fitting sobre los modelos intuicionistas de Kripke de la Teoría de Conjuntos. En primer lugar, consideramos conjuntos construibles dentro de modelos valuados de la Teoría de Conjuntos. Presentamos dos construcciones distintas del universo construible: L B y L B , y demostramos que son isomorfos a V (universo von Neumann) y L (universo construible de Gödel), respectivamente. En segundo lugar, generalizamos el trabajo de Fitting sobre los modelos intuicionistas de Kripke de la teoría de conjuntos utilizando los modelos residuados de Kripke de Ono y Komori. Con base en estos modelos, proporcionamos una generalización de la jerarquía de von Neumann en el contexto de la Lógica Modal Residuada y demostramos una traducción de fórmulas entre ella y un modelo Heyting valuado adecuado. También proponemos una noción de universo de conjuntos construibles en Lógica Modal Residuada y discutimos algunos aspectos de la misma. (Texto tomado de la fuente)MaestríaMagíster en Ciencias - MatemáticasLógica matemática, teoría de conjuntosxviii, 166 páginasapplication/pdfengUniversidad Nacional de ColombiaBogotá - Ciencias - Maestría en Ciencias - MatemáticasFacultad de CienciasBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá510 - MatemáticasTeoría de conjuntosSet theoryFunciones de conjuntosSet FunctionsAlgebra abstractaAlgebra, abstractValued modelsAbstract logicsResiduated latticesKripke modelsConstructible setsModelos valuadosLógicas abstractasRetículos residualesModelos de KripkeConjuntos construiblesConstructible sets in lattice-valued modelsConjuntos construibles en modelos valuados en retículosTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionTexthttp://purl.org/redcol/resource_type/TMGerard Allwein and Wendy MacCaull, A Kripke Semantics for the Logic of Gelfand Quantales, Studia Logica 68 (2001), no. 2, 173–228.Gerard Allwein and Wendy MacCaull, A Kripke Semantics for the Logic of Gelfand Quantales, Studia Logica 68 (2001), no. 2, 173–228.Radim Belohlavek, Joseph W. Dauben, and George J. Klir, Fuzzy Logic and Mathematics: A Historical Perspective, 1 ed., Oxford University Press, New York, 2017 (eng).John L. Bell, Set Theory: Boolean-Valued Models and Independence Proofs, 3 ed., Oxford University Press UK, 2005.John Benavides N., La independencia de la hipótesis del continuo sobre un modelo fibrado para la teoría de conjuntos., 2004.Wim J. Blok and Don L. Pigozzi, Algebraizable Logics, vol. 77, American Math- ematical Society, Providence, 1989.Dumitru Buşneag and Dana Piciu, Some types of filters in residuated lattices, Soft Computing - A Fusion of Foundations, Methodologies and Applications 18 (2014), no. 5, 825–837.Xavier Caicedo, Lógica de los haces de estructuras., Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales XIX (1995), no. 74, 569– 585.Chen C. Chang, Sets constructible using Lκ,κ, Axiomatic Set Theory (Proc. Sym- pos. Pure Math. Vol. XIII (1971), 1–8.Robert P. Dilworth, Non-Commutative Residuated Lattices, Transactions of the American Mathematical Society 46 (1939), no. 3, 426–444.Brian A. Davey and Hilary A. Priestley, Introduction to Lattices and Order, 2 ed., Cambridge University Press, 2002.Michael Dummett, A Propositional Calculus with Denumerable Matrix, The Jour- nal of Symbolic Logic 24 (1959), no. 2, 97–106.Francesc Esteva and Lluís Godo, Monoidal t-norm Based Logic: Towards a Logic for Left-continuous t-norms., Fuzzy Sets and Systems 124 (2001), 271–288.Michael P. Fourman and Martin E. Hyland, Sheaf models for analysis, Appli- cations of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 (Michael Fourman, Christopher Mulvey, and Dana Scott, eds.), Springer Berlin Heidelberg, Berlin, Heidelberg, 1979, pp. 280–301.Melvin Fitting, Intuitionistic Logic, Model Theory and Forcing, 1 ed., North- Holland Pub. Co, Amsterdam, 1969._______, Intuitionistic Model Theory and the Cohen Independence Proofs, Studies in Logic and the Foundations of Mathematics 60 (1970), no. C, 219–226.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, and Hiroakira Ono, Residuated lattices : an algebraic glimpse at substructural logics, 1 ed., vol. 151, Elsevier, Amsterdam, 2007.Kurt Gödel, Zum intuitionistischen aussagenkalkül, Anzeiger der Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse 69 (1932), 65–66._______, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, Proceedings of the National Academy of Sciences of the United States of America 24 (1938), no. 12, 556–557.Robin J. Grayson, Heyting-valued models for intuitionistic set theory, Applica- tions of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Springer Berlin Heidelberg, 1979, pp. 402–414.Petr Hájek, Basic fuzzy logic and BL-algebras, Soft Computing 2 (1998), no. 3, 124–128._____, Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4, Springer Netherlands, Dordrecht, 1998.Petr Hájek and Zuzana Haniková, A set theory within fuzzy logic, Proceedings of The International Symposium on Multiple-Valued Logic (2001), 319–323.______, A Development of Set Theory in Fuzzy Logic, Beyond Two: Theory and Applications of Multiple-Valued Logic, vol. 114, Physica Heidelberg, 1 ed., 2003, pp. 273–285.Ulrich Höhle, Monoidal Logic, Fuzzy-Systems in Computer Science, Vieweg+Teubner Verlag, 1994, pp. 233–243.______, Commutative, residuated 1—monoids, Non-Classical Logics and their Applications to Fuzzy Subsets, Springer Netherlands, 1995, pp. 53–106.Thomas Jech, Set Theory, Springer Monographs in Mathematics, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003.Juliette Kennedy, Menachem Magidor, and Jouko Väänänen, Inner Models from Extended Logics: Part 1, Avalaible at https://arxiv.org/pdf/2007.10764.pdf (2020).Saul A. Kripke, A completeness theorem in modal logic, Journal of Symbolic Logic 24 (1959), no. 1, 1–14.______, Semantical Analysis of Intuitionistic Logic I, Formal Systems and Re- cursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963 (Michael Dummett and John Crossley, eds.), no. 2, North Holland, 1963, pp. 92–130._____, Semantical Analysis of Modal Logic I. Normal Propositional Calculi, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (1963), no. 5-6, 67–96.Wolfgang Krull, Axiomatische Begründung der allgemeinen Ideal theorie, Sitzungsberichte der physikalisch medizinischen Societäd der Erlangen 56 (1924), 47–63.Kenneth Kunen, Set theory, College Publications, 2011.Kevin C. Lano, Fuzzy sets and residuated logic, Fuzzy Sets and Systems 47 (1992), no. 2, 203 – 220._____, Set theoretic foundations for fuzzy set theory, and their applications, Log- ical Foundations of Computer Science — Tver ’92 (Berlin, Heidelberg) (Nerode Anil and Mikhail Taitslin, eds.), Springer Berlin Heidelberg, 1992, pp. 258–268.Wendy MacCaull, A note on Kripke semantics for residuated logic, Fuzzy Sets and Systems 77 (1996), no. 2, 229–234.Christopher Mulvey, &, Rendiconti del Circolo Matematico di Palermo 12 (1986), no. 2, 99–104.Hiroakira Ono and Yuichi Komori, Logics without the contraction rule, The Jour- nal of Symbolic Logic 50 (1985), no. 1, 169–201.Hiroakira Ono, Semantical analysis of predicate logics without the contraction rule, Studia Logica 44 (1985), no. 2, 187–196.______, Substructural Logics and Residuated Lattices — an Introduction, Trends in Logic: 50 Years of Studia Logica, vol. 21, Springer, Dordrecht, 1 ed., 2003, pp. 193–228.Mitsuhiro Okada and Kazushige Terui, The finite model property for various fragments of intuitionistic linear logic, Journal of Symbolic Logic 64 (1999), no. 2, 790–802.Kimmo I. Rosenthal, Quantales and their applications, Longman Scientific & Technical, Essex, England, 1990.Helena Rasiowa and Roman Sikorski, The Mathematics of Metamathematics, Journal of Symbolic Logic 32 (1963), no. 2, 274–275.Dana Scott and John Myhill, Ordinal Definability, Axiomatic Set Theory: Pro- ceedings of Symposia in Pure Mathematics Vol. XIII (1971), 271–278.Dana Scott and Robert Solovay, Boolean-Valued Models for Set Theory, Mimeographed notes for the 1967 American Mathematical Society Symposium on axiomatic set theory, 1967.Parvin Safari and Saeed Salehi, Kripke semantics for fuzzy logics, Soft Computing 22 (2018), no. 3, 839–844.Dirk van Dalen, Logic and Structure, 4 ed., Springer Berlin, Heidelberg, 2004.Morgan Ward, Structure Residuation, Annals of Mathematics 39 (1938), no. 3, 558–568.Morgan Ward and Robert P. Dilworth, Residuated Lattices, Proceedings of the National Academy of Sciences of the United States of America 24 (1938), no. 3, 162–164.Frank Wolter and Michael Zakharyaschev, On the Blok-Esakia Theorem, Leo Esakia on Duality in Modal and Intuitionistic Logics, vol. 4, Springer, Dordrecht, 2014, pp. 99–118.Lotfi A. Zadeh, Fuzzy sets, Information and Control 8 (1965), no. 3, 338–353.Ernest Zermelo, Über Grenzzahlen und Mengenbereiche, Fundamenta Mathemat- icae 16 (1930), no. 1, 29–47 (ger).LICENSElicense.txtlicense.txttext/plain; charset=utf-85879https://repositorio.unal.edu.co/bitstream/unal/83833/1/license.txteb34b1cf90b7e1103fc9dfd26be24b4aMD51ORIGINAL1014286254.2023 - Jose Ricardo Moncayo Vega.pdf1014286254.2023 - Jose Ricardo Moncayo Vega.pdfTesis de Maestría en Ciencias - Matemáticasapplication/pdf887203https://repositorio.unal.edu.co/bitstream/unal/83833/2/1014286254.2023%20-%20Jose%20Ricardo%20Moncayo%20Vega.pdfafdcfa4f25ca719e08b1525cfe41a65dMD52THUMBNAIL1014286254.2023 - Jose Ricardo Moncayo Vega.pdf.jpg1014286254.2023 - Jose Ricardo Moncayo Vega.pdf.jpgGenerated Thumbnailimage/jpeg3737https://repositorio.unal.edu.co/bitstream/unal/83833/3/1014286254.2023%20-%20Jose%20Ricardo%20Moncayo%20Vega.pdf.jpg0b7f598983216ba78024e27a9fc84744MD53unal/83833oai:repositorio.unal.edu.co:unal/838332024-08-06 23:10:16.75Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.coUEFSVEUgMS4gVMOJUk1JTk9TIERFIExBIExJQ0VOQ0lBIFBBUkEgUFVCTElDQUNJw5NOIERFIE9CUkFTIEVOIEVMIFJFUE9TSVRPUklPIElOU1RJVFVDSU9OQUwgVU5BTC4KCkxvcyBhdXRvcmVzIHkvbyB0aXR1bGFyZXMgZGUgbG9zIGRlcmVjaG9zIHBhdHJpbW9uaWFsZXMgZGUgYXV0b3IsIGNvbmZpZXJlbiBhIGxhIFVuaXZlcnNpZGFkIE5hY2lvbmFsIGRlIENvbG9tYmlhIHVuYSBsaWNlbmNpYSBubyBleGNsdXNpdmEsIGxpbWl0YWRhIHkgZ3JhdHVpdGEgc29icmUgbGEgb2JyYSBxdWUgc2UgaW50ZWdyYSBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsLCBiYWpvIGxvcyBzaWd1aWVudGVzIHTDqXJtaW5vczoKCgphKQlMb3MgYXV0b3JlcyB5L28gbG9zIHRpdHVsYXJlcyBkZSBsb3MgZGVyZWNob3MgcGF0cmltb25pYWxlcyBkZSBhdXRvciBzb2JyZSBsYSBvYnJhIGNvbmZpZXJlbiBhIGxhIFVuaXZlcnNpZGFkIE5hY2lvbmFsIGRlIENvbG9tYmlhIHVuYSBsaWNlbmNpYSBubyBleGNsdXNpdmEgcGFyYSByZWFsaXphciBsb3Mgc2lndWllbnRlcyBhY3RvcyBzb2JyZSBsYSBvYnJhOiBpKSByZXByb2R1Y2lyIGxhIG9icmEgZGUgbWFuZXJhIGRpZ2l0YWwsIHBlcm1hbmVudGUgbyB0ZW1wb3JhbCwgaW5jbHV5ZW5kbyBlbCBhbG1hY2VuYW1pZW50byBlbGVjdHLDs25pY28sIGFzw60gY29tbyBjb252ZXJ0aXIgZWwgZG9jdW1lbnRvIGVuIGVsIGN1YWwgc2UgZW5jdWVudHJhIGNvbnRlbmlkYSBsYSBvYnJhIGEgY3VhbHF1aWVyIG1lZGlvIG8gZm9ybWF0byBleGlzdGVudGUgYSBsYSBmZWNoYSBkZSBsYSBzdXNjcmlwY2nDs24gZGUgbGEgcHJlc2VudGUgbGljZW5jaWEsIHkgaWkpIGNvbXVuaWNhciBhbCBww7pibGljbyBsYSBvYnJhIHBvciBjdWFscXVpZXIgbWVkaW8gbyBwcm9jZWRpbWllbnRvLCBlbiBtZWRpb3MgYWzDoW1icmljb3MgbyBpbmFsw6FtYnJpY29zLCBpbmNsdXllbmRvIGxhIHB1ZXN0YSBhIGRpc3Bvc2ljacOzbiBlbiBhY2Nlc28gYWJpZXJ0by4gQWRpY2lvbmFsIGEgbG8gYW50ZXJpb3IsIGVsIGF1dG9yIHkvbyB0aXR1bGFyIGF1dG9yaXphIGEgbGEgVW5pdmVyc2lkYWQgTmFjaW9uYWwgZGUgQ29sb21iaWEgcGFyYSBxdWUsIGVuIGxhIHJlcHJvZHVjY2nDs24geSBjb211bmljYWNpw7NuIGFsIHDDumJsaWNvIHF1ZSBsYSBVbml2ZXJzaWRhZCByZWFsaWNlIHNvYnJlIGxhIG9icmEsIGhhZ2EgbWVuY2nDs24gZGUgbWFuZXJhIGV4cHJlc2EgYWwgdGlwbyBkZSBsaWNlbmNpYSBDcmVhdGl2ZSBDb21tb25zIGJham8gbGEgY3VhbCBlbCBhdXRvciB5L28gdGl0dWxhciBkZXNlYSBvZnJlY2VyIHN1IG9icmEgYSBsb3MgdGVyY2Vyb3MgcXVlIGFjY2VkYW4gYSBkaWNoYSBvYnJhIGEgdHJhdsOpcyBkZWwgUmVwb3NpdG9yaW8gSW5zdGl0dWNpb25hbCwgY3VhbmRvIHNlYSBlbCBjYXNvLiBFbCBhdXRvciB5L28gdGl0dWxhciBkZSBsb3MgZGVyZWNob3MgcGF0cmltb25pYWxlcyBkZSBhdXRvciBwb2Ryw6EgZGFyIHBvciB0ZXJtaW5hZGEgbGEgcHJlc2VudGUgbGljZW5jaWEgbWVkaWFudGUgc29saWNpdHVkIGVsZXZhZGEgYSBsYSBEaXJlY2Npw7NuIE5hY2lvbmFsIGRlIEJpYmxpb3RlY2FzIGRlIGxhIFVuaXZlcnNpZGFkIE5hY2lvbmFsIGRlIENvbG9tYmlhLiAKCmIpIAlMb3MgYXV0b3JlcyB5L28gdGl0dWxhcmVzIGRlIGxvcyBkZXJlY2hvcyBwYXRyaW1vbmlhbGVzIGRlIGF1dG9yIHNvYnJlIGxhIG9icmEgY29uZmllcmVuIGxhIGxpY2VuY2lhIHNlw7FhbGFkYSBlbiBlbCBsaXRlcmFsIGEpIGRlbCBwcmVzZW50ZSBkb2N1bWVudG8gcG9yIGVsIHRpZW1wbyBkZSBwcm90ZWNjacOzbiBkZSBsYSBvYnJhIGVuIHRvZG9zIGxvcyBwYcOtc2VzIGRlbCBtdW5kbywgZXN0byBlcywgc2luIGxpbWl0YWNpw7NuIHRlcnJpdG9yaWFsIGFsZ3VuYS4KCmMpCUxvcyBhdXRvcmVzIHkvbyB0aXR1bGFyZXMgZGUgZGVyZWNob3MgcGF0cmltb25pYWxlcyBkZSBhdXRvciBtYW5pZmllc3RhbiBlc3RhciBkZSBhY3VlcmRvIGNvbiBxdWUgbGEgcHJlc2VudGUgbGljZW5jaWEgc2Ugb3RvcmdhIGEgdMOtdHVsbyBncmF0dWl0bywgcG9yIGxvIHRhbnRvLCByZW51bmNpYW4gYSByZWNpYmlyIGN1YWxxdWllciByZXRyaWJ1Y2nDs24gZWNvbsOzbWljYSBvIGVtb2x1bWVudG8gYWxndW5vIHBvciBsYSBwdWJsaWNhY2nDs24sIGRpc3RyaWJ1Y2nDs24sIGNvbXVuaWNhY2nDs24gcMO6YmxpY2EgeSBjdWFscXVpZXIgb3RybyB1c28gcXVlIHNlIGhhZ2EgZW4gbG9zIHTDqXJtaW5vcyBkZSBsYSBwcmVzZW50ZSBsaWNlbmNpYSB5IGRlIGxhIGxpY2VuY2lhIENyZWF0aXZlIENvbW1vbnMgY29uIHF1ZSBzZSBwdWJsaWNhLgoKZCkJUXVpZW5lcyBmaXJtYW4gZWwgcHJlc2VudGUgZG9jdW1lbnRvIGRlY2xhcmFuIHF1ZSBwYXJhIGxhIGNyZWFjacOzbiBkZSBsYSBvYnJhLCBubyBzZSBoYW4gdnVsbmVyYWRvIGxvcyBkZXJlY2hvcyBkZSBwcm9waWVkYWQgaW50ZWxlY3R1YWwsIGluZHVzdHJpYWwsIG1vcmFsZXMgeSBwYXRyaW1vbmlhbGVzIGRlIHRlcmNlcm9zLiBEZSBvdHJhIHBhcnRlLCAgcmVjb25vY2VuIHF1ZSBsYSBVbml2ZXJzaWRhZCBOYWNpb25hbCBkZSBDb2xvbWJpYSBhY3TDumEgY29tbyB1biB0ZXJjZXJvIGRlIGJ1ZW5hIGZlIHkgc2UgZW5jdWVudHJhIGV4ZW50YSBkZSBjdWxwYSBlbiBjYXNvIGRlIHByZXNlbnRhcnNlIGFsZ8O6biB0aXBvIGRlIHJlY2xhbWFjacOzbiBlbiBtYXRlcmlhIGRlIGRlcmVjaG9zIGRlIGF1dG9yIG8gcHJvcGllZGFkIGludGVsZWN0dWFsIGVuIGdlbmVyYWwuIFBvciBsbyB0YW50bywgbG9zIGZpcm1hbnRlcyAgYWNlcHRhbiBxdWUgY29tbyB0aXR1bGFyZXMgw7puaWNvcyBkZSBsb3MgZGVyZWNob3MgcGF0cmltb25pYWxlcyBkZSBhdXRvciwgYXN1bWlyw6FuIHRvZGEgbGEgcmVzcG9uc2FiaWxpZGFkIGNpdmlsLCBhZG1pbmlzdHJhdGl2YSB5L28gcGVuYWwgcXVlIHB1ZWRhIGRlcml2YXJzZSBkZSBsYSBwdWJsaWNhY2nDs24gZGUgbGEgb2JyYS4gIAoKZikJQXV0b3JpemFuIGEgbGEgVW5pdmVyc2lkYWQgTmFjaW9uYWwgZGUgQ29sb21iaWEgaW5jbHVpciBsYSBvYnJhIGVuIGxvcyBhZ3JlZ2Fkb3JlcyBkZSBjb250ZW5pZG9zLCBidXNjYWRvcmVzIGFjYWTDqW1pY29zLCBtZXRhYnVzY2Fkb3Jlcywgw61uZGljZXMgeSBkZW3DoXMgbWVkaW9zIHF1ZSBzZSBlc3RpbWVuIG5lY2VzYXJpb3MgcGFyYSBwcm9tb3ZlciBlbCBhY2Nlc28geSBjb25zdWx0YSBkZSBsYSBtaXNtYS4gCgpnKQlFbiBlbCBjYXNvIGRlIGxhcyB0ZXNpcyBjcmVhZGFzIHBhcmEgb3B0YXIgZG9ibGUgdGl0dWxhY2nDs24sIGxvcyBmaXJtYW50ZXMgc2Vyw6FuIGxvcyByZXNwb25zYWJsZXMgZGUgY29tdW5pY2FyIGEgbGFzIGluc3RpdHVjaW9uZXMgbmFjaW9uYWxlcyBvIGV4dHJhbmplcmFzIGVuIGNvbnZlbmlvLCBsYXMgbGljZW5jaWFzIGRlIGFjY2VzbyBhYmllcnRvIENyZWF0aXZlIENvbW1vbnMgeSBhdXRvcml6YWNpb25lcyBhc2lnbmFkYXMgYSBzdSBvYnJhIHBhcmEgbGEgcHVibGljYWNpw7NuIGVuIGVsIFJlcG9zaXRvcmlvIEluc3RpdHVjaW9uYWwgVU5BTCBkZSBhY3VlcmRvIGNvbiBsYXMgZGlyZWN0cmljZXMgZGUgbGEgUG9sw610aWNhIEdlbmVyYWwgZGUgbGEgQmlibGlvdGVjYSBEaWdpdGFsLgoKCmgpCVNlIGF1dG9yaXphIGEgbGEgVW5pdmVyc2lkYWQgTmFjaW9uYWwgZGUgQ29sb21iaWEgY29tbyByZXNwb25zYWJsZSBkZWwgdHJhdGFtaWVudG8gZGUgZGF0b3MgcGVyc29uYWxlcywgZGUgYWN1ZXJkbyBjb24gbGEgbGV5IDE1ODEgZGUgMjAxMiBlbnRlbmRpZW5kbyBxdWUgc2UgZW5jdWVudHJhbiBiYWpvIG1lZGlkYXMgcXVlIGdhcmFudGl6YW4gbGEgc2VndXJpZGFkLCBjb25maWRlbmNpYWxpZGFkIGUgaW50ZWdyaWRhZCwgeSBzdSB0cmF0YW1pZW50byB0aWVuZSB1bmEgZmluYWxpZGFkIGhpc3TDs3JpY2EsIGVzdGFkw61zdGljYSBvIGNpZW50w61maWNhIHNlZ8O6biBsbyBkaXNwdWVzdG8gZW4gbGEgUG9sw610aWNhIGRlIFRyYXRhbWllbnRvIGRlIERhdG9zIFBlcnNvbmFsZXMuCgoKClBBUlRFIDIuIEFVVE9SSVpBQ0nDk04gUEFSQSBQVUJMSUNBUiBZIFBFUk1JVElSIExBIENPTlNVTFRBIFkgVVNPIERFIE9CUkFTIEVOIEVMIFJFUE9TSVRPUklPIElOU1RJVFVDSU9OQUwgVU5BTC4KClNlIGF1dG9yaXphIGxhIHB1YmxpY2FjacOzbiBlbGVjdHLDs25pY2EsIGNvbnN1bHRhIHkgdXNvIGRlIGxhIG9icmEgcG9yIHBhcnRlIGRlIGxhIFVuaXZlcnNpZGFkIE5hY2lvbmFsIGRlIENvbG9tYmlhIHkgZGUgc3VzIHVzdWFyaW9zIGRlIGxhIHNpZ3VpZW50ZSBtYW5lcmE6CgphLglDb25jZWRvIGxpY2VuY2lhIGVuIGxvcyB0w6lybWlub3Mgc2XDsWFsYWRvcyBlbiBsYSBwYXJ0ZSAxIGRlbCBwcmVzZW50ZSBkb2N1bWVudG8sIGNvbiBlbCBvYmpldGl2byBkZSBxdWUgbGEgb2JyYSBlbnRyZWdhZGEgc2VhIHB1YmxpY2FkYSBlbiBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIFVuaXZlcnNpZGFkIE5hY2lvbmFsIGRlIENvbG9tYmlhIHkgcHVlc3RhIGEgZGlzcG9zaWNpw7NuIGVuIGFjY2VzbyBhYmllcnRvIHBhcmEgc3UgY29uc3VsdGEgcG9yIGxvcyB1c3VhcmlvcyBkZSBsYSBVbml2ZXJzaWRhZCBOYWNpb25hbCBkZSBDb2xvbWJpYSAgYSB0cmF2w6lzIGRlIGludGVybmV0LgoKCgpQQVJURSAzIEFVVE9SSVpBQ0nDk04gREUgVFJBVEFNSUVOVE8gREUgREFUT1MgUEVSU09OQUxFUy4KCkxhIFVuaXZlcnNpZGFkIE5hY2lvbmFsIGRlIENvbG9tYmlhLCBjb21vIHJlc3BvbnNhYmxlIGRlbCBUcmF0YW1pZW50byBkZSBEYXRvcyBQZXJzb25hbGVzLCBpbmZvcm1hIHF1ZSBsb3MgZGF0b3MgZGUgY2Fyw6FjdGVyIHBlcnNvbmFsIHJlY29sZWN0YWRvcyBtZWRpYW50ZSBlc3RlIGZvcm11bGFyaW8sIHNlIGVuY3VlbnRyYW4gYmFqbyBtZWRpZGFzIHF1ZSBnYXJhbnRpemFuIGxhIHNlZ3VyaWRhZCwgY29uZmlkZW5jaWFsaWRhZCBlIGludGVncmlkYWQgeSBzdSB0cmF0YW1pZW50byBzZSByZWFsaXphIGRlIGFjdWVyZG8gYWwgY3VtcGxpbWllbnRvIG5vcm1hdGl2byBkZSBsYSBMZXkgMTU4MSBkZSAyMDEyIHkgZGUgbGEgUG9sw610aWNhIGRlIFRyYXRhbWllbnRvIGRlIERhdG9zIFBlcnNvbmFsZXMgZGUgbGEgVW5pdmVyc2lkYWQgTmFjaW9uYWwgZGUgQ29sb21iaWEuIFB1ZWRlIGVqZXJjZXIgc3VzIGRlcmVjaG9zIGNvbW8gdGl0dWxhciBhIGNvbm9jZXIsIGFjdHVhbGl6YXIsIHJlY3RpZmljYXIgeSByZXZvY2FyIGxhcyBhdXRvcml6YWNpb25lcyBkYWRhcyBhIGxhcyBmaW5hbGlkYWRlcyBhcGxpY2FibGVzIGEgdHJhdsOpcyBkZSBsb3MgY2FuYWxlcyBkaXNwdWVzdG9zIHkgZGlzcG9uaWJsZXMgZW4gd3d3LnVuYWwuZWR1LmNvIG8gZS1tYWlsOiBwcm90ZWNkYXRvc19uYUB1bmFsLmVkdS5jbyIKClRlbmllbmRvIGVuIGN1ZW50YSBsbyBhbnRlcmlvciwgYXV0b3Jpem8gZGUgbWFuZXJhIHZvbHVudGFyaWEsIHByZXZpYSwgZXhwbMOtY2l0YSwgaW5mb3JtYWRhIGUgaW5lcXXDrXZvY2EgYSBsYSBVbml2ZXJzaWRhZCBOYWNpb25hbCBkZSBDb2xvbWJpYSBhIHRyYXRhciBsb3MgZGF0b3MgcGVyc29uYWxlcyBkZSBhY3VlcmRvIGNvbiBsYXMgZmluYWxpZGFkZXMgZXNwZWPDrWZpY2FzIHBhcmEgZWwgZGVzYXJyb2xsbyB5IGVqZXJjaWNpbyBkZSBsYXMgZnVuY2lvbmVzIG1pc2lvbmFsZXMgZGUgZG9jZW5jaWEsIGludmVzdGlnYWNpw7NuIHkgZXh0ZW5zacOzbiwgYXPDrSBjb21vIGxhcyByZWxhY2lvbmVzIGFjYWTDqW1pY2FzLCBsYWJvcmFsZXMsIGNvbnRyYWN0dWFsZXMgeSB0b2RhcyBsYXMgZGVtw6FzIHJlbGFjaW9uYWRhcyBjb24gZWwgb2JqZXRvIHNvY2lhbCBkZSBsYSBVbml2ZXJzaWRhZC4gCgo= |