Formal Issues

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_4
http://hdl.handle.net/11449/244995
Resumo: This chapter discusses formal issues of annotated logics. We describe an algebraic semantics for P tau based on Curry algebras. We also discuss annotated set theory, annotated model theory, proof methods, and annotated modal logics.
id UNSP_99d95f4ed12cd5c80c18fdf0809cccf3
oai_identifier_str oai:repositorio.unesp.br:11449/244995
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Formal IssuesThis chapter discusses formal issues of annotated logics. We describe an algebraic semantics for P tau based on Curry algebras. We also discuss annotated set theory, annotated model theory, proof methods, and annotated modal logics.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:27Z2023-07-29T11:34:27Z2015-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article31-59http://dx.doi.org/10.1007/978-3-319-17912-4_4Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 31-59, 2015.1868-4394http://hdl.handle.net/11449/24499510.1007/978-3-319-17912-4_4WOS:000367913200005Web 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:27Zoai:repositorio.unesp.br:11449/244995Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462023-07-29T11:34:27Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Formal Issues
title Formal Issues
spellingShingle Formal Issues
Abe, Jair Minoro [UNESP]
title_short Formal Issues
title_full Formal Issues
title_fullStr Formal Issues
title_full_unstemmed Formal Issues
title_sort Formal Issues
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 discusses formal issues of annotated logics. We describe an algebraic semantics for P tau based on Curry algebras. We also discuss annotated set theory, annotated model theory, proof methods, and annotated modal logics.
publishDate 2015
dc.date.none.fl_str_mv 2015-01-01
2023-07-29T11:34:27Z
2023-07-29T11:34:27Z
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_4
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 31-59, 2015.
1868-4394
http://hdl.handle.net/11449/244995
10.1007/978-3-319-17912-4_4
WOS:000367913200005
url http://dx.doi.org/10.1007/978-3-319-17912-4_4
http://hdl.handle.net/11449/244995
identifier_str_mv Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 31-59, 2015.
1868-4394
10.1007/978-3-319-17912-4_4
WOS:000367913200005
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 31-59
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_ 1803047059223216128

Registros relacionados