In this paper we present an algebraic version of the annotated predicate logics Qτ [1] by using the concept of Curry Algebras [5]. The algebraic structure obtained is called Curry Algebras Qτ. 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].
Keywords Curry algebras - monadic algebras - paraconsistent annotated logic - algebraic logic