Actas de congresos
Monadic curry algebras Q tau
Fecha
2007-01-01Registro en:
Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings. Berlin: Springer-verlag Berlin, v. 4693, p. 893-900, 2007.
0302-9743
WOS:000250338600112
Autor
Universidade Estadual Paulista (Unesp)
Kawasaki
Univ Hyogo
Institución
Resumen
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].