Monadic Curry System N_1

摘要

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 N_1 constitutes an algebraic version of the non-alethic predicate logic N_1*.