Propositional Annotated Logics P 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-21T20:25:23Z-
Data de disponibilização: dc.date.available2025-08-21T20:25:23Z-
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_2-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/11449/244993-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/11449/244993-
Descrição: dc.descriptionThis 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.-
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.format5-23-
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.titlePropositional Annotated Logics P tau-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Unesp

Não existem arquivos associados a este item.