Predicate Annotated Logics Q tau
Nenhuma Miniatura disponível
Data
2015-01-01
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
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
Como citar
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 25-30, 2015.
