Propositional Annotated Logics P tau

Detalhes bibliográficos
Autor(a) principal: Abe, Jair Minoro [UNESP]
Data de Publicação: 2015
Outros Autores: Akama, Seiki, Nakamatsu, Kazumi, Abe, JM, Akama, S, Nakamatsu, K
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1007/978-3-319-17912-4_2
http://hdl.handle.net/11449/244993
Resumo: This chapter introduces the propositional annotated logics P tau. We present a Hilbert style axiomatization of P tau and their semantics. We show some formal results including completeness.
id UNSP_dba48484ab75a9a2fae1fc22ec4948b1
oai_identifier_str oai:repositorio.unesp.br:11449/244993
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Propositional Annotated Logics P tauThis chapter introduces the propositional annotated logics P tau. We present a Hilbert style axiomatization of P tau and their semantics. We show some formal results including completeness.Univ Estadual Paulista, Sao Paulo, BrazilUniv Hyogo, Himeji, Hyogo 6712201, JapanUniv Estadual Paulista, Sao Paulo, BrazilSpringerUniversidade Estadual Paulista (UNESP)Univ HyogoAbe, Jair Minoro [UNESP]Akama, SeikiNakamatsu, KazumiAbe, JMAkama, SNakamatsu, K2023-07-29T11:34:20Z2023-07-29T11:34:20Z2015-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article5-23http://dx.doi.org/10.1007/978-3-319-17912-4_2Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 5-23, 2015.1868-4394http://hdl.handle.net/11449/24499310.1007/978-3-319-17912-4_2WOS:000367913200003Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengIntroduction To Annotated Logics: Foundations For Paracomplete And Paraconsistent Reasoninginfo:eu-repo/semantics/openAccess2023-07-29T11:34:20Zoai:repositorio.unesp.br:11449/244993Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T20:13:30.140995Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Propositional Annotated Logics P tau
title Propositional Annotated Logics P tau
spellingShingle Propositional Annotated Logics P tau
Abe, Jair Minoro [UNESP]
title_short Propositional Annotated Logics P tau
title_full Propositional Annotated Logics P tau
title_fullStr Propositional Annotated Logics P tau
title_full_unstemmed Propositional Annotated Logics P tau
title_sort Propositional Annotated Logics P tau
author Abe, Jair Minoro [UNESP]
author_facet Abe, Jair Minoro [UNESP]
Akama, Seiki
Nakamatsu, Kazumi
Abe, JM
Akama, S
Nakamatsu, K
author_role author
author2 Akama, Seiki
Nakamatsu, Kazumi
Abe, JM
Akama, S
Nakamatsu, K
author2_role author
author
author
author
author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (UNESP)
Univ Hyogo
dc.contributor.author.fl_str_mv Abe, Jair Minoro [UNESP]
Akama, Seiki
Nakamatsu, Kazumi
Abe, JM
Akama, S
Nakamatsu, K
description This chapter introduces the propositional annotated logics P tau. We present a Hilbert style axiomatization of P tau and their semantics. We show some formal results including completeness.
publishDate 2015
dc.date.none.fl_str_mv 2015-01-01
2023-07-29T11:34:20Z
2023-07-29T11:34:20Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1007/978-3-319-17912-4_2
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 5-23, 2015.
1868-4394
http://hdl.handle.net/11449/244993
10.1007/978-3-319-17912-4_2
WOS:000367913200003
url http://dx.doi.org/10.1007/978-3-319-17912-4_2
http://hdl.handle.net/11449/244993
identifier_str_mv Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 5-23, 2015.
1868-4394
10.1007/978-3-319-17912-4_2
WOS:000367913200003
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Introduction To Annotated Logics: Foundations For Paracomplete And Paraconsistent Reasoning
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 5-23
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
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_ 1808129175082500096

Registros relacionados