News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Artículo

A five-valued logic and a system

Ferreira, Ulisses · SEDICI UNLP · 2004

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Ferreira, Ulisses
Publisher
SEDICI UNLP
Year
2004
Language
English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

Descripción general del contenido del recurso.

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. Facultad de Informática

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Ferreira, U. (2004). A five-valued logic and a system. http://sedici.unlp.edu.ar/handle/10915/9494

MLA

Ferreira, Ulisses. "A five-valued logic and a system." 2004. http://sedici.unlp.edu.ar/handle/10915/9494.

Chicago

Ferreira, Ulisses. 2004. "A five-valued logic and a system.". http://sedici.unlp.edu.ar/handle/10915/9494.

Harvard

Ferreira, U. 2004, A five-valued logic and a system, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/9494 [Accessed 8 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
A five-valued logic and a system
Author / contributors
Ferreira, Ulisses
Publisher
SEDICI UNLP
Publication year
2004
Language
English

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; Knowledge Representation Formalisms and Methods; epistemología; many-valued logics
Copied