Cury algebras Pt

Jair Minoro Abe


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

Full Text:



  • There are currently no refbacks.