On some aspects of decidability of annotated systems

Detalhes bibliográficos
Autor(a) principal: Abe, J. M.
Data de Publicação: 2001
Outros Autores: Akama, S., Arabnia, H. R.
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