Predicate Annotated Logics Q 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_3
http://hdl.handle.net/11449/244994
Resumo: This chapter studies the predicate annotated logics Q tau, which can be seen as a predicate extension of P tau. Their axiomatization and semantics are considered. We also prove completeness and other metatheorems.
id UNSP_423ee5409208419fabaf9037ede842df
oai_identifier_str oai:repositorio.unesp.br:11449/244994
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Predicate Annotated Logics Q tauThis chapter studies the predicate annotated logics Q tau, which can be seen as a predicate extension of P tau. Their axiomatization and semantics are considered. We also prove completeness and other metatheorems.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/article25-30http://dx.doi.org/10.1007/978-3-319-17912-4_3Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 25-30, 2015.1868-4394http://hdl.handle.net/11449/24499410.1007/978-3-319-17912-4_3WOS:000367913200004Web 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/244994Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T23:00:55.101812Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Predicate Annotated Logics Q tau
title Predicate Annotated Logics Q tau
spellingShingle Predicate Annotated Logics Q tau
Abe, Jair Minoro [UNESP]
title_short Predicate Annotated Logics Q tau
title_full Predicate Annotated Logics Q tau
title_fullStr Predicate Annotated Logics Q tau
title_full_unstemmed Predicate Annotated Logics Q tau
title_sort Predicate Annotated Logics Q 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 studies the predicate annotated logics Q tau, which can be seen as a predicate extension of P tau. Their axiomatization and semantics are considered. We also prove completeness and other metatheorems.
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_3
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 25-30, 2015.
1868-4394
http://hdl.handle.net/11449/244994
10.1007/978-3-319-17912-4_3
WOS:000367913200004
url http://dx.doi.org/10.1007/978-3-319-17912-4_3
http://hdl.handle.net/11449/244994
identifier_str_mv Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 25-30, 2015.
1868-4394
10.1007/978-3-319-17912-4_3
WOS:000367913200004
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 25-30
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_ 1808129482226139136

Registros relacionados