Predicate Annotated Logics Q tau
Carregando...
Arquivos
Fonte externa
Fonte externa
Data
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Springer
Tipo
Artigo
Direito de acesso
Arquivos
Fonte externa
Fonte externa
Resumo
This 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
Palavras-chave
Idioma
Inglês
Citação
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 25-30, 2015.
