Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2004-11-29T14:41:50Z
dc.date.available 2004-11-29T03:00:00Z
dc.date.issued 2004-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/9494
dc.description.abstract The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known but consistent, false, true, and inconsistent. The present logic and the PLAIN programming language are two results of the same intuitions and from the same philosophical view. Finally, as well as the purposes of PLAIN, the logic ought to be used to support (mobile) agents systems in some manner, besides general purposes. en
dc.format.extent 134-140 es
dc.language en es
dc.subject Knowledge Representation Formalisms and Methods es
dc.subject epistemología es
dc.subject many-valued logics en
dc.title A five-valued logic and a system en
dc.type Articulo es
sedici.identifier.uri http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct04-2.pdf es
sedici.identifier.issn 1666-6038 es
sedici.creator.person Ferreira, Ulisses es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc/3.0/
sedici.description.peerReview peer-review es
sedici2003.identifier ARG-UNLP-ART-0000000430 es
sedici.relation.journalTitle Journal of Computer Science & Technology es
sedici.relation.journalVolumeAndIssue vol. 4, no. 3 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (373.6Kb) - PDF
Icon
Enlace externo

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

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)