Monadic Curry System N-1*
Nenhuma Miniatura disponível
Data
2010-01-01
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Springer
Tipo
Trabalho apresentado em evento
Direito de acesso
Resumo
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*.
Descrição
Palavras-chave
Idioma
Inglês
Como citar
Knowledge-based And Intelligent Information And Engineering Systems, Pt Iii. Berlin: Springer-verlag Berlin, v. 6278, p. 143-+, 2010.
