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.

Itens relacionados

Financiadores

Coleções