Show simple item record

Un cálculo temporal de predicados de tipo modal

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorMuñoz Quevedo, José M.
dc.date.accessioned2019-06-26T14:40:28Z
dc.date.available2019-06-26T14:40:28Z
dc.date.issued1995
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/31637
dc.description.abstractSe construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica y con algunas de ellas se axiomatiza el sistema, desarrollándolo lo suficiente para que sirva como marco lógico sobre el cual pueda construirse en el futuro una teoría temporal de conjuntos.
dc.description.abstractA first-order temporal calculus is constructed, with a natural semantics given by structures which grow with time. Rules and schemas of the calculus are developped to allow a temporal set theory based on it.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherBoletín de Matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/18222
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
dc.relation.ispartofBoletín de Matemáticas
dc.relation.ispartofseriesBoletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 2357-6529 0120-0380
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleUn cálculo temporal de predicados de tipo modal
dc.typeArtículo de revista
dc.type.driverinfo:eu-repo/semantics/article
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/21716/
dc.relation.referencesMuñoz Quevedo, José M. (1995) Un cálculo temporal de predicados de tipo modal. Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 Boletín de Matemáticas; Vol. 2, núm. 2 (1995); 121-140 2357-6529 0120-0380 .
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalcálculo predicativo temporal de tipo modal
dc.subject.proposalteoría de conjuntos
dc.subject.proposallógica temporal
dc.type.coarhttp://purl.org/coar/resource_type/c_6501
dc.type.coarversionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/ART
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail
Name:
18222-58910-1-PB.pdf
Size:
2.670Mb
Format:
PDF
Download

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit