Studies in paraconsistent logic ii: quantifiers and the unity of opposites

In this paper, the propositional logics introduced in a previous work (N.C.A. da Costa and R.G. Wolf, Studies in paraconsistent logic I: the dialectical principle of the unity of opposites, Philosophia 9(1980) ,pp.189-217) are extended to first-order predicate calculi. 0ur aim is to formalize certai...

Full description

Autores:
Costa, Newton C.A. da
Wolf, Robert G.
Tipo de recurso:
Article of journal
Fecha de publicación:
1985
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/48756
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/48756
http://bdigital.unal.edu.co/42213/
Palabra clave:
Propositional logics
studies
dialectical principle
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_6223777c692c373f3bb0d25808d74e5a
oai_identifier_str oai:repositorio.unal.edu.co:unal/48756
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Costa, Newton C.A. da3393ea7e-a341-4d53-b056-7af8d2b242da300Wolf, Robert G.ed2d90a6-370e-42d5-8c0d-932f2228cc253002019-06-29T08:04:24Z2019-06-29T08:04:24Z1985https://repositorio.unal.edu.co/handle/unal/48756http://bdigital.unal.edu.co/42213/In this paper, the propositional logics introduced in a previous work (N.C.A. da Costa and R.G. Wolf, Studies in paraconsistent logic I: the dialectical principle of the unity of opposites, Philosophia 9(1980) ,pp.189-217) are extended to first-order predicate calculi. 0ur aim is to formalize certain aspects of dialectics, as they are interpreted by McGill and Parry (V.J. McGill and W.T. Parry, The unity of opposites: a dialectical principle, Science and Society 12(1948) ,pp.418-444).application/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/32582Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 59-67 2357-4100 0034-7426Costa, Newton C.A. da and Wolf, Robert G. (1985) Studies in paraconsistent logic ii: quantifiers and the unity of opposites. Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 59-67 2357-4100 0034-7426 .Studies in paraconsistent logic ii: quantifiers and the unity of oppositesArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTPropositional logicsstudiesdialectical principleORIGINAL32582-120547-1-PB.pdfapplication/pdf3477037https://repositorio.unal.edu.co/bitstream/unal/48756/1/32582-120547-1-PB.pdf30a4b0d2862070b1c1fc57ed28fe7ddbMD51THUMBNAIL32582-120547-1-PB.pdf.jpg32582-120547-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6421https://repositorio.unal.edu.co/bitstream/unal/48756/2/32582-120547-1-PB.pdf.jpga3d75df57e8b4e1fb96cbd96671854dbMD52unal/48756oai:repositorio.unal.edu.co:unal/487562022-11-12 23:03:01.341Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Studies in paraconsistent logic ii: quantifiers and the unity of opposites
title Studies in paraconsistent logic ii: quantifiers and the unity of opposites
spellingShingle Studies in paraconsistent logic ii: quantifiers and the unity of opposites
Propositional logics
studies
dialectical principle
title_short Studies in paraconsistent logic ii: quantifiers and the unity of opposites
title_full Studies in paraconsistent logic ii: quantifiers and the unity of opposites
title_fullStr Studies in paraconsistent logic ii: quantifiers and the unity of opposites
title_full_unstemmed Studies in paraconsistent logic ii: quantifiers and the unity of opposites
title_sort Studies in paraconsistent logic ii: quantifiers and the unity of opposites
dc.creator.fl_str_mv Costa, Newton C.A. da
Wolf, Robert G.
dc.contributor.author.spa.fl_str_mv Costa, Newton C.A. da
Wolf, Robert G.
dc.subject.proposal.spa.fl_str_mv Propositional logics
studies
dialectical principle
topic Propositional logics
studies
dialectical principle
description In this paper, the propositional logics introduced in a previous work (N.C.A. da Costa and R.G. Wolf, Studies in paraconsistent logic I: the dialectical principle of the unity of opposites, Philosophia 9(1980) ,pp.189-217) are extended to first-order predicate calculi. 0ur aim is to formalize certain aspects of dialectics, as they are interpreted by McGill and Parry (V.J. McGill and W.T. Parry, The unity of opposites: a dialectical principle, Science and Society 12(1948) ,pp.418-444).
publishDate 1985
dc.date.issued.spa.fl_str_mv 1985
dc.date.accessioned.spa.fl_str_mv 2019-06-29T08:04:24Z
dc.date.available.spa.fl_str_mv 2019-06-29T08:04:24Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/48756
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/42213/
url https://repositorio.unal.edu.co/handle/unal/48756
http://bdigital.unal.edu.co/42213/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/recolma/article/view/32582
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
Revista Colombiana de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 59-67 2357-4100 0034-7426
dc.relation.references.spa.fl_str_mv Costa, Newton C.A. da and Wolf, Robert G. (1985) Studies in paraconsistent logic ii: quantifiers and the unity of opposites. Revista Colombiana de Matemáticas; Vol. 19, núm. 1-2 (1985); 59-67 2357-4100 0034-7426 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/48756/1/32582-120547-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/48756/2/32582-120547-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 30a4b0d2862070b1c1fc57ed28fe7ddb
a3d75df57e8b4e1fb96cbd96671854db
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1806886654509580288

Publicaciones similares