Predicate Annotated Logics Q tau

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (UNESP)-
Autor(es): dc.contributorUniv Hyogo-
Autor(es): dc.creatorAbe, Jair Minoro-
Autor(es): dc.creatorAkama, Seiki-
Autor(es): dc.creatorNakamatsu, Kazumi-
Autor(es): dc.creatorAbe, JM-
Autor(es): dc.creatorAkama, S-
Autor(es): dc.creatorNakamatsu, K-
Data de aceite: dc.date.accessioned2025-08-21T22:31:18Z-
Data de disponibilização: dc.date.available2025-08-21T22:31:18Z-
Data de envio: dc.date.issued2023-07-29-
Data de envio: dc.date.issued2023-07-29-
Data de envio: dc.date.issued2015-01-01-
Fonte completa do material: dc.identifierhttp://dx.doi.org/10.1007/978-3-319-17912-4_3-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/11449/244994-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/11449/244994-
Descrição: dc.descriptionThis 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.-
Descrição: dc.descriptionUniv Estadual Paulista, Sao Paulo, Brazil-
Descrição: dc.descriptionUniv Hyogo, Himeji, Hyogo 6712201, Japan-
Descrição: dc.descriptionUniv Estadual Paulista, Sao Paulo, Brazil-
Formato: dc.format25-30-
Idioma: dc.languageen-
Publicador: dc.publisherSpringer-
Relação: dc.relationIntroduction To Annotated Logics: Foundations For Paracomplete And Paraconsistent Reasoning-
???dc.source???: dc.sourceWeb of Science-
Título: dc.titlePredicate Annotated Logics Q tau-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Unesp

Não existem arquivos associados a este item.