On some aspects of decidability of annotated systems

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (Unesp)-
Autor(es): dc.creatorAbe, J. M.-
Autor(es): dc.creatorAkama, S.-
Autor(es): dc.creatorArabnia, H. R.-
Data de aceite: dc.date.accessioned2022-02-22T00:03:19Z-
Data de disponibilização: dc.date.available2022-02-22T00:03:19Z-
Data de envio: dc.date.issued2020-12-09-
Data de envio: dc.date.issued2020-12-09-
Data de envio: dc.date.issued2001-01-01-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/11449/194567-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/11449/194567-
Descrição: dc.descriptionIn 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.-
Descrição: dc.descriptionUniv Estadual Paulista, ICET, Dept Informat, BR-04026002 Sao Paulo, SP, Brazil-
Descrição: dc.descriptionUniv Estadual Paulista, ICET, Dept Informat, BR-04026002 Sao Paulo, SP, Brazil-
Formato: dc.format789-795-
Idioma: dc.languageen-
Publicador: dc.publisherC S R E A Press-
Relação: dc.relationIc-ai'2001: Proceedings Of The International Conference On Artificial Intelligence, Vols I-iii-
???dc.source???: dc.sourceWeb of Science-
Palavras-chave: dc.subjectannotated logics-
Palavras-chave: dc.subjectparaconsistent logics-
Palavras-chave: dc.subjectdecidabitity-
Título: dc.titleOn some aspects of decidability of annotated systems-
Aparece nas coleções:Repositório Institucional - Unesp

Não existem arquivos associados a este item.