Predicate Annotated Logics Q tau

Página do item simplificado
dc.contributor.authorAbe, Jair Minoro [UNESP]
dc.contributor.authorAkama, Seiki
dc.contributor.authorNakamatsu, Kazumi
dc.contributor.authorAbe, JM
dc.contributor.authorAkama, S
dc.contributor.authorNakamatsu, K
dc.contributor.institutionUniversidade Estadual Paulista (UNESP)
dc.contributor.institutionUniv Hyogo
dc.date.accessioned2023-07-29T11:34:20Z
dc.date.available2023-07-29T11:34:20Z
dc.date.issued2015-01-01
dc.description.abstractThis chapter studies the predicate annotated logics Q tau, which can be seen as a predicate extension of P tau. Their axiomatization and semantics are considered. We also prove completeness and other metatheorems.en
dc.description.affiliationUniv Estadual Paulista, Sao Paulo, Brazil
dc.description.affiliationUniv Hyogo, Himeji, Hyogo 6712201, Japan
dc.description.affiliationUnespUniv Estadual Paulista, Sao Paulo, Brazil
dc.format.extent25-30
dc.identifierhttp://dx.doi.org/10.1007/978-3-319-17912-4_3
dc.identifier.citationIntroduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 25-30, 2015.
dc.identifier.doi10.1007/978-3-319-17912-4_3
dc.identifier.issn1868-4394
dc.identifier.urihttp://hdl.handle.net/11449/244994
dc.identifier.wosWOS:000367913200004
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofIntroduction To Annotated Logics: Foundations For Paracomplete And Paraconsistent Reasoning
dc.sourceWeb of Science
dc.titlePredicate Annotated Logics Q tauen
dc.typeArtigo
dcterms.licensehttp://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0
dcterms.rightsHolderSpringer
unesp.author.orcid0000-0003-2088-9065[1]

Arquivos

Coleções

Artigos