Publicação: Variants and Related Systems
dc.contributor.author | Abe, Jair Minoro [UNESP] | |
dc.contributor.author | Akama, Seiki | |
dc.contributor.author | Nakamatsu, Kazumi | |
dc.contributor.author | Abe, JM | |
dc.contributor.author | Akama, S | |
dc.contributor.author | Nakamatsu, K | |
dc.contributor.institution | Universidade Estadual Paulista (UNESP) | |
dc.contributor.institution | Univ Hyogo | |
dc.date.accessioned | 2023-07-29T11:34:28Z | |
dc.date.available | 2023-07-29T11:34:28Z | |
dc.date.issued | 2015-01-01 | |
dc.description.abstract | 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. | en |
dc.description.affiliation | Univ Estadual Paulista, Sao Paulo, Brazil | |
dc.description.affiliation | Univ Hyogo, Himeji, Hyogo 6712201, Japan | |
dc.description.affiliationUnesp | Univ Estadual Paulista, Sao Paulo, Brazil | |
dc.format.extent | 61-110 | |
dc.identifier | http://dx.doi.org/10.1007/978-3-319-17912-4_5 | |
dc.identifier.citation | Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 61-110, 2015. | |
dc.identifier.doi | 10.1007/978-3-319-17912-4_5 | |
dc.identifier.issn | 1868-4394 | |
dc.identifier.uri | http://hdl.handle.net/11449/244996 | |
dc.identifier.wos | WOS:000367913200006 | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.relation.ispartof | Introduction To Annotated Logics: Foundations For Paracomplete And Paraconsistent Reasoning | |
dc.source | Web of Science | |
dc.title | Variants and Related Systems | en |
dc.type | Artigo | |
dcterms.license | http://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0 | |
dcterms.rightsHolder | Springer | |
dspace.entity.type | Publication | |
unesp.author.orcid | 0000-0003-2088-9065[1] |