This paper is a sequel to [5], [6]. We present the Curry monadic system N1* which has as extensions the Curry monadic algebras C 1* and P1*. All those systems are extensions of the classical monadic algebras introduced by Halmos [13]. Also the Curry monadic system N1constitutes an algebraic version of the non-alethic predicate logic N1*. © 2010 Springer-Verlag.
CITATION STYLE
Abe, J. M., Nakamatsu, K., & Akama, S. (2010). Monadic Curry system N1*. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6278 LNAI, pp. 143–153). https://doi.org/10.1007/978-3-642-15393-8_17
Mendeley helps you to discover research relevant for your work.