Monadic curry algebras Q tau
Nenhuma Miniatura disponível
Data
2007-01-01
Autores
Abe, Jair Minoro [UNESP]
Akama, Seiki
Nakamatsu, Kazumi
Apolloni, B.
Howlett, R. J.
Jain, L.
Título da Revista
ISSN da Revista
Título de Volume
Editor
Springer
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
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.