Monadic curry algebras Q tau
MetadataShow full item record
In this paper we present an algebraic version of the annotated predicate logics Q tau  by using the concept of Curry Algebras . 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 , .