Publicación:
Lógica intuicionista y construcción de pruebas para proposiciones necesarias y proposiciones contingentes

Vista sencilla de ítem
dc.contributor.authorAmat Genís, Albert
dc.contributor.directorDíez Martínez, Amparo
dc.date.accessioned2024-05-20T12:29:01Z
dc.date.available2024-05-20T12:29:01Z
dc.date.issued2013-06-01
dc.description.abstractTrabajo Fin de Máster. Máster Universitario en Filosofía Teórica y Práctica. Especialidad de Lógica, Historia y Filosofía de la Cienciaes
dc.description.versionversión publicada
dc.identifier.urihttps://hdl.handle.net/20.500.14468/14355
dc.language.isoes
dc.publisherUniversidad Nacional de Educación a Distancia (España). Facultad de Filosofía
dc.relation.centerFacultades y escuelas::Facultad de Filosofía
dc.relation.degreeMáster universitario en Filosofía Teórica y Práctica
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject.keywordslógica intuicionista
dc.subject.keywordssemántica de mundos posibles de Kripke
dc.subject.keywordsconstrucción de pruebas proposicionales
dc.subject.keywordsproposiciones lógico-matemáticas
dc.subject.keywordsproposiciones necesarias
dc.subject.keywordsproposiciones contingentes
dc.subject.keywordsleyes científicas
dc.subject.keywordsFilosofía de la Ciencia
dc.subject.keywordsdenotación
dc.subject.keywordsdescripciones definidas
dc.subject.keywordsintuitionistic logic
dc.subject.keywordsKripke’s semantics of possible worlds
dc.subject.keywordsconstruction of propositional proofs
dc.subject.keywordslogical-mathematical propositions
dc.subject.keywordsnecessary propositions
dc.subject.keywordscontingent propositions
dc.subject.keywordsscientific laws
dc.subject.keywordsPhilosophy of Science
dc.subject.keywordsdenotation
dc.subject.keywordsdefinite descriptions
dc.titleLógica intuicionista y construcción de pruebas para proposiciones necesarias y proposiciones contingenteses
dc.typetesis de maestríaes
dc.typemaster thesisen
dspace.entity.typePublication
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Documento.pdf
Tamaño:
1.39 MB
Formato:
Adobe Portable Document Format
Descargar
Colecciones
Trabajos de fin de máster (TFM)