A five-valued logic and a system
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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2004
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/9494 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct04-2.pdf |
| Aporte de: |
| id |
I19-R120-10915-9494 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Ciencias Informáticas Knowledge Representation Formalisms and Methods epistemología many-valued logics |
| spellingShingle |
Ciencias Informáticas Knowledge Representation Formalisms and Methods epistemología many-valued logics Ferreira, Ulisses A five-valued logic and a system |
| topic_facet |
Ciencias Informáticas Knowledge Representation Formalisms and Methods epistemología many-valued logics |
| description |
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. |
| format |
Articulo Articulo |
| author |
Ferreira, Ulisses |
| author_facet |
Ferreira, Ulisses |
| author_sort |
Ferreira, Ulisses |
| title |
A five-valued logic and a system |
| title_short |
A five-valued logic and a system |
| title_full |
A five-valued logic and a system |
| title_fullStr |
A five-valued logic and a system |
| title_full_unstemmed |
A five-valued logic and a system |
| title_sort |
five-valued logic and a system |
| publishDate |
2004 |
| url |
http://sedici.unlp.edu.ar/handle/10915/9494 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct04-2.pdf |
| work_keys_str_mv |
AT ferreiraulisses afivevaluedlogicandasystem AT ferreiraulisses fivevaluedlogicandasystem |
| bdutipo_str |
Repositorios |
| _version_ |
1764820492064129028 |