Mostrar el registro sencillo del documento

The completeness and compactness of a three-valued first-order logic

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorD'Ottaviano, Itala M. L.
dc.date.accessioned2019-06-29T08:04:33Z
dc.date.available2019-06-29T08:04:33Z
dc.date.issued1985
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/48759
dc.description.abstractThe strong completeness and the compactness of a three-valued first order predicate calculus with two distinguished truth-values are obtained. The system was introduced in Sur un prcb leme de Jaskowski, I .M.L. D.'Ottaviano and N.C. A. da Costa, C.R. Acad.Sc. Paris 270A (1970) , pp.1349-1353, and has several applications, especially in paraconsistent logics.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/recolma/article/view/32585
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
dc.relation.ispartofRevista Colombiana de Matemáticas
dc.relation.ispartofseriesRevista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 77-94 2357-4100 0034-7426
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleThe completeness and compactness of a three-valued first-order logic
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/42216/
dc.relation.referencesD'Ottaviano, Itala M. L. (1985) The completeness and compactness of a three-valued first-order logic. Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 77-94 2357-4100 0034-7426 .
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalIntegrity
dc.subject.proposalcalculation
dc.subject.proposalvalues
dc.subject.proposalsystem
dc.subject.proposalparaconsistent logic
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


Archivos en el documento

Thumbnail
Nombre:
32585-120559-1-PB.pdf
Tamaño:
6.531Mb
Formato:
PDF
Descargar

Este documento aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del documento

Atribución-NoComercial 4.0 InternacionalEsta obra está bajo licencia internacional Creative Commons Reconocimiento-NoComercial 4.0.Este documento ha sido depositado por parte de el(los) autor(es) bajo la siguiente constancia de depósito