Actas de congresos
Monadic Curry System N-1*
Fecha
2010-01-01Registro en:
Knowledge-based And Intelligent Information And Engineering Systems, Pt Iii. Berlin: Springer-verlag Berlin, v. 6278, p. 143-+, 2010.
0302-9743
WOS:000289402900017
Autor
Universidade Estadual Paulista (Unesp)
Universidade de São Paulo (USP)
Univ Hyogo
C Republic
Institución
Resumen
This paper is a sequel to [5], [6]. We present the Curry monadic system N-1* which has as extensions the Curry monadic algebras C-1* and P-1*. All those systems are extensions of the classical monadic algebras introduced by Halmos [13]. Also the Curry monadic system NI constitutes an algebraic version of the non-alethic predicate logic N-1*.