Propositional Annotated Logics P tau
| 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:20Z | |
| dc.date.available | 2023-07-29T11:34:20Z | |
| dc.date.issued | 2015-01-01 | |
| dc.description.abstract | This chapter introduces the propositional annotated logics P tau. We present a Hilbert style axiomatization of P tau and their semantics. We show some formal results including completeness. | 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 | 5-23 | |
| dc.identifier | http://dx.doi.org/10.1007/978-3-319-17912-4_2 | |
| dc.identifier.citation | Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 5-23, 2015. | |
| dc.identifier.doi | 10.1007/978-3-319-17912-4_2 | |
| dc.identifier.issn | 1868-4394 | |
| dc.identifier.uri | http://hdl.handle.net/11449/244993 | |
| dc.identifier.wos | WOS:000367913200003 | |
| 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 | Propositional Annotated Logics P tau | en |
| dc.type | Artigo | |
| dcterms.license | http://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0 | |
| dcterms.rightsHolder | Springer | |
| unesp.author.orcid | 0000-0003-2088-9065[1] |