Formal Issues
| 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:27Z | |
| dc.date.available | 2023-07-29T11:34:27Z | |
| dc.date.issued | 2015-01-01 | |
| dc.description.abstract | 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. | 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 | 31-59 | |
| dc.identifier | http://dx.doi.org/10.1007/978-3-319-17912-4_4 | |
| dc.identifier.citation | Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 31-59, 2015. | |
| dc.identifier.doi | 10.1007/978-3-319-17912-4_4 | |
| dc.identifier.issn | 1868-4394 | |
| dc.identifier.uri | http://hdl.handle.net/11449/244995 | |
| dc.identifier.wos | WOS:000367913200005 | |
| 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 | Formal Issues | 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] |