Cury algebras Pt
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.
for the logics Pt.
Full Text:
PDFRefbacks
- There are currently no refbacks.