An Algebraic Version of the Annotated Logics Pt (Preliminary Version)

Obra: An Algebraic Version of the Annotated Logics Pt (Preliminary Version)
Autor: Jair Minoro Abe

Resumo

In this paper we present an algebraic version of the annotated logics Pt [Da Costa 91] by using the concept of Curry Algebras [Barros 95]. The algebraic structure obtained is called Curry Algebras Pt. We study some basic properties of these algebras, showing a completeness result for the logics Pt.