Abe, Jair Minoro [UNESP]Akama, SeikiNakamatsu, KazumiAbe, JMAkama, SNakamatsu, K2023-07-292023-07-292015-01-01Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 5-23, 2015.1868-4394http://hdl.handle.net/11449/244993This 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.5-23engArtigo10.1007/978-3-319-17912-4_2WOS:000367913200003