Monadic Curry System N-1*

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (Unesp)-
Autor(es): dc.contributorUniversidade de São Paulo (USP)-
Autor(es): dc.contributorUniv Hyogo-
Autor(es): dc.contributorC Republic-
Autor(es): dc.creatorAbe, Jair Minoro [UNESP]-
Autor(es): dc.creatorNakamatsu, Kazumi-
Autor(es): dc.creatorAkama, Seiki-
Autor(es): dc.creatorSetchi, R.-
Autor(es): dc.creatorJordanov, I-
Autor(es): dc.creatorHowlett, R. J.-
Autor(es): dc.creatorJain, L. C.-
Data de aceite: dc.date.accessioned2022-02-22T00:03:41Z-
Data de disponibilização: dc.date.available2022-02-22T00:03:41Z-
Data de envio: dc.date.issued2020-12-09-
Data de envio: dc.date.issued2020-12-09-
Data de envio: dc.date.issued2010-01-01-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/11449/194725-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/11449/194725-
Descrição: dc.descriptionThis 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: dc.descriptionUniv Estadual Paulista, Grad Program Prod Engn, ICET, R Dr Bacelar 1212, BR-04026002 Sao Paulo, Brazil-
Descrição: dc.descriptionUniv Sao Paulo, Inst Adv Studies, Sao Paulo, Brazil-
Descrição: dc.descriptionUniv Hyogo, Sch Human Sci & Environm H S E, Kobe, Hyogo 6500044, Japan-
Descrição: dc.descriptionC Republic, Tokyo, Japan-
Descrição: dc.descriptionUniv Estadual Paulista, Grad Program Prod Engn, ICET, R Dr Bacelar 1212, BR-04026002 Sao Paulo, Brazil-
Formato: dc.format143-+-
Idioma: dc.languageen-
Publicador: dc.publisherSpringer-
Relação: dc.relationKnowledge-based And Intelligent Information And Engineering Systems, Pt Iii-
???dc.source???: dc.sourceWeb of Science-
Palavras-chave: dc.subjectCurry algebra-
Palavras-chave: dc.subjectalgebraic logic-
Palavras-chave: dc.subjectparaconsistent logic-
Palavras-chave: dc.subjectparacomplete logic-
Palavras-chave: dc.subjectnon-alethic logic-
Título: dc.titleMonadic Curry System N-1*-
Aparece nas coleções:Repositório Institucional - Unesp

Não existem arquivos associados a este item.