Formal Issues
Carregando...
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
Resumo
This chapter discusses formal issues of annotated logics. We describe an algebraic semantics for P tau based on Curry algebras. We also discuss annotated set theory, annotated model theory, proof methods, and annotated modal logics.
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. 31-59, 2015.
