Variants and Related Systems
Autor(a) principal: | |
---|---|
Data de Publicação: | 2015 |
Outros Autores: | , , , , |
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_5 http://hdl.handle.net/11449/244996 |
Resumo: | This chapter reviews some variants of annotated logics and related systems in the literature. Variants include fuzzy annotated logics, possibilistic annotated logics, inductive annotated logics, and structural annotated logics. We also compare annotated logics with related systems such as Labelled Deductive Systems and General Logics. Finally, we review systems of paraconsistent logics. |
id |
UNSP_1affc521ac48d5c22c81c66397df5c87 |
---|---|
oai_identifier_str |
oai:repositorio.unesp.br:11449/244996 |
network_acronym_str |
UNSP |
network_name_str |
Repositório Institucional da UNESP |
repository_id_str |
2946 |
spelling |
Variants and Related SystemsThis chapter reviews some variants of annotated logics and related systems in the literature. Variants include fuzzy annotated logics, possibilistic annotated logics, inductive annotated logics, and structural annotated logics. We also compare annotated logics with related systems such as Labelled Deductive Systems and General Logics. Finally, we review systems of paraconsistent 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:28Z2023-07-29T11:34:28Z2015-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article61-110http://dx.doi.org/10.1007/978-3-319-17912-4_5Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 61-110, 2015.1868-4394http://hdl.handle.net/11449/24499610.1007/978-3-319-17912-4_5WOS:000367913200006Web 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:28Zoai:repositorio.unesp.br:11449/244996Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T14:15:20.211330Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false |
dc.title.none.fl_str_mv |
Variants and Related Systems |
title |
Variants and Related Systems |
spellingShingle |
Variants and Related Systems Abe, Jair Minoro [UNESP] |
title_short |
Variants and Related Systems |
title_full |
Variants and Related Systems |
title_fullStr |
Variants and Related Systems |
title_full_unstemmed |
Variants and Related Systems |
title_sort |
Variants and Related Systems |
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 reviews some variants of annotated logics and related systems in the literature. Variants include fuzzy annotated logics, possibilistic annotated logics, inductive annotated logics, and structural annotated logics. We also compare annotated logics with related systems such as Labelled Deductive Systems and General Logics. Finally, we review systems of paraconsistent logics. |
publishDate |
2015 |
dc.date.none.fl_str_mv |
2015-01-01 2023-07-29T11:34:28Z 2023-07-29T11:34:28Z |
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_5 Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 61-110, 2015. 1868-4394 http://hdl.handle.net/11449/244996 10.1007/978-3-319-17912-4_5 WOS:000367913200006 |
url |
http://dx.doi.org/10.1007/978-3-319-17912-4_5 http://hdl.handle.net/11449/244996 |
identifier_str_mv |
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 61-110, 2015. 1868-4394 10.1007/978-3-319-17912-4_5 WOS:000367913200006 |
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 |
61-110 |
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_ |
1808128337116135424 |