Cury algebras Pt

Jair Minoro Abe

Abstract


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:

PDF

Refbacks

  • There are currently no refbacks.