On some aspects of decidability of annotated systems
Autor(a) principal: | |
---|---|
Data de Publicação: | 2001 |
Outros Autores: | , |
Tipo de documento: | Artigo de conferência |
Idioma: | eng |
Título da fonte: | Repositório Institucional da UNESP |
Texto Completo: | http://hdl.handle.net/11449/194567 |
Resumo: | In this paper, we discuss some results of decidability of annotated systems. The annotated propositional logic Ptau and its S5 type modal extension S5tau are shown to be decidable. These results reveal that annotated systems are computationally attractive as the foundations of paraconsistent reasoning. |
id |
UNSP_6e74cfdb4a7f66d4b7599a17b7a73096 |
---|---|
oai_identifier_str |
oai:repositorio.unesp.br:11449/194567 |
network_acronym_str |
UNSP |
network_name_str |
Repositório Institucional da UNESP |
repository_id_str |
2946 |
spelling |
On some aspects of decidability of annotated systemsannotated logicsparaconsistent logicsdecidabitityIn this paper, we discuss some results of decidability of annotated systems. The annotated propositional logic Ptau and its S5 type modal extension S5tau are shown to be decidable. These results reveal that annotated systems are computationally attractive as the foundations of paraconsistent reasoning.Univ Estadual Paulista, ICET, Dept Informat, BR-04026002 Sao Paulo, SP, BrazilUniv Estadual Paulista, ICET, Dept Informat, BR-04026002 Sao Paulo, SP, BrazilC S R E A PressUniversidade Estadual Paulista (Unesp)Abe, J. M.Akama, S.Arabnia, H. R.2020-12-10T16:30:17Z2020-12-10T16:30:17Z2001-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObject789-795Ic-ai'2001: Proceedings Of The International Conference On Artificial Intelligence, Vols I-iii. Athens: C S R E A Press, p. 789-795, 2001.http://hdl.handle.net/11449/194567WOS:000173960400125Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengIc-ai'2001: Proceedings Of The International Conference On Artificial Intelligence, Vols I-iiiinfo:eu-repo/semantics/openAccess2021-10-22T17:35:59Zoai:repositorio.unesp.br:11449/194567Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T18:18:18.708908Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false |
dc.title.none.fl_str_mv |
On some aspects of decidability of annotated systems |
title |
On some aspects of decidability of annotated systems |
spellingShingle |
On some aspects of decidability of annotated systems Abe, J. M. annotated logics paraconsistent logics decidabitity |
title_short |
On some aspects of decidability of annotated systems |
title_full |
On some aspects of decidability of annotated systems |
title_fullStr |
On some aspects of decidability of annotated systems |
title_full_unstemmed |
On some aspects of decidability of annotated systems |
title_sort |
On some aspects of decidability of annotated systems |
author |
Abe, J. M. |
author_facet |
Abe, J. M. Akama, S. Arabnia, H. R. |
author_role |
author |
author2 |
Akama, S. Arabnia, H. R. |
author2_role |
author author |
dc.contributor.none.fl_str_mv |
Universidade Estadual Paulista (Unesp) |
dc.contributor.author.fl_str_mv |
Abe, J. M. Akama, S. Arabnia, H. R. |
dc.subject.por.fl_str_mv |
annotated logics paraconsistent logics decidabitity |
topic |
annotated logics paraconsistent logics decidabitity |
description |
In this paper, we discuss some results of decidability of annotated systems. The annotated propositional logic Ptau and its S5 type modal extension S5tau are shown to be decidable. These results reveal that annotated systems are computationally attractive as the foundations of paraconsistent reasoning. |
publishDate |
2001 |
dc.date.none.fl_str_mv |
2001-01-01 2020-12-10T16:30:17Z 2020-12-10T16:30:17Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/conferenceObject |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
Ic-ai'2001: Proceedings Of The International Conference On Artificial Intelligence, Vols I-iii. Athens: C S R E A Press, p. 789-795, 2001. http://hdl.handle.net/11449/194567 WOS:000173960400125 |
identifier_str_mv |
Ic-ai'2001: Proceedings Of The International Conference On Artificial Intelligence, Vols I-iii. Athens: C S R E A Press, p. 789-795, 2001. WOS:000173960400125 |
url |
http://hdl.handle.net/11449/194567 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
Ic-ai'2001: Proceedings Of The International Conference On Artificial Intelligence, Vols I-iii |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
789-795 |
dc.publisher.none.fl_str_mv |
C S R E A Press |
publisher.none.fl_str_mv |
C S R E A Press |
dc.source.none.fl_str_mv |
Web of Science reponame:Repositório Institucional da UNESP instname:Universidade Estadual Paulista (UNESP) instacron:UNESP |
instname_str |
Universidade Estadual Paulista (UNESP) |
instacron_str |
UNESP |
institution |
UNESP |
reponame_str |
Repositório Institucional da UNESP |
collection |
Repositório Institucional da UNESP |
repository.name.fl_str_mv |
Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP) |
repository.mail.fl_str_mv |
|
_version_ |
1808128918492807168 |