Algunas propiedades formales de un sistema deductivo con interrogaciones

Autores
Urtubey, Luis Adrián
Año de publicación
1996
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina.
Presupondremos a lo largo de este trabajo Cierta familiaridad con el método de los tableau o block tableau, según -por ejemplo- la exposición de Smullyan (1968).
Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina.
Materia
Epistemología
Historia de la ciencia
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/2884
Acceder
id RDUUNC_dc21afc537057131ed2a91d767fef115
oai_identifier_str oai:rdu.unc.edu.ar:11086/2884
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Algunas propiedades formales de un sistema deductivo con interrogacionesUrtubey, Luis AdriánEpistemologíaHistoria de la cienciaFil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina.Presupondremos a lo largo de este trabajo Cierta familiaridad con el método de los tableau o block tableau, según -por ejemplo- la exposición de Smullyan (1968).Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina.Universidad Nacional de Córdoba1996-11info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://hdl.handle.net/11086/2884spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:32:05Zoai:rdu.unc.edu.ar:11086/2884Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:32:05.732Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Algunas propiedades formales de un sistema deductivo con interrogaciones
title Algunas propiedades formales de un sistema deductivo con interrogaciones
spellingShingle Algunas propiedades formales de un sistema deductivo con interrogaciones
Urtubey, Luis Adrián
Epistemología
Historia de la ciencia
title_short Algunas propiedades formales de un sistema deductivo con interrogaciones
title_full Algunas propiedades formales de un sistema deductivo con interrogaciones
title_fullStr Algunas propiedades formales de un sistema deductivo con interrogaciones
title_full_unstemmed Algunas propiedades formales de un sistema deductivo con interrogaciones
title_sort Algunas propiedades formales de un sistema deductivo con interrogaciones
dc.creator.none.fl_str_mv Urtubey, Luis Adrián
author Urtubey, Luis Adrián
author_facet Urtubey, Luis Adrián
author_role author
dc.subject.none.fl_str_mv Epistemología
Historia de la ciencia
topic Epistemología
Historia de la ciencia
dc.description.none.fl_txt_mv Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina.
Presupondremos a lo largo de este trabajo Cierta familiaridad con el método de los tableau o block tableau, según -por ejemplo- la exposición de Smullyan (1968).
Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina.
description Fil: Urtubey, Luis Adrián. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades; Argentina.
publishDate 1996
dc.date.none.fl_str_mv 1996-11
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/2884
url http://hdl.handle.net/11086/2884
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Córdoba
publisher.none.fl_str_mv Universidad Nacional de Córdoba
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1842349630916919296
score 13.13397

Publicaciones similares