Publicação:
Monadic curry algebras Q tau

Nenhuma Miniatura disponível

Data

2007-01-01

Autores

Orientador

Coorientador

Pós-graduação

Curso de graduação

Título da Revista

ISSN da Revista

Título de Volume

Editor

Springer

Tipo

Trabalho apresentado em evento

Direito de acesso

Resumo

In this paper we present an algebraic version of the annotated predicate logics Q tau [1] by using the concept of Curry Algebras [5]. The algebraic structure obtained is called Curry Algebras Q tau. We study some basic properties of these algebras. The main ideas involved lean heavily on the works by P. Halmos and N.C.A. Da Costa [9], [5].

Descrição

Palavras-chave

curry algebras, monadic algebras, paraconsistent annotated logic, algebraic logic

Idioma

Inglês

Como citar

Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings. Berlin: Springer-verlag Berlin, v. 4693, p. 893-900, 2007.

URI

http://hdl.handle.net/11449/194679

Itens relacionados

Financiadores

Coleções

Artigos

Unidades

Departamentos

Cursos de graduação

Programas de pós-graduação