Publicação:
Monadic Curry System N-1*

Página do item simplificado
dc.contributor.authorAbe, Jair Minoro [UNESP]
dc.contributor.authorNakamatsu, Kazumi
dc.contributor.authorAkama, Seiki
dc.contributor.authorSetchi, R.
dc.contributor.authorJordanov, I
dc.contributor.authorHowlett, R. J.
dc.contributor.authorJain, L. C.
dc.contributor.institutionUniversidade Estadual Paulista (Unesp)
dc.contributor.institutionUniversidade de São Paulo (USP)
dc.contributor.institutionUniv Hyogo
dc.contributor.institutionC Republic
dc.date.accessioned2020-12-10T16:35:40Z
dc.date.available2020-12-10T16:35:40Z
dc.date.issued2010-01-01
dc.description.abstractThis 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*.en
dc.description.affiliationUniv Estadual Paulista, Grad Program Prod Engn, ICET, R Dr Bacelar 1212, BR-04026002 Sao Paulo, Brazil
dc.description.affiliationUniv Sao Paulo, Inst Adv Studies, Sao Paulo, Brazil
dc.description.affiliationUniv Hyogo, Sch Human Sci & Environm H S E, Kobe, Hyogo 6500044, Japan
dc.description.affiliationC Republic, Tokyo, Japan
dc.description.affiliationUnespUniv Estadual Paulista, Grad Program Prod Engn, ICET, R Dr Bacelar 1212, BR-04026002 Sao Paulo, Brazil
dc.format.extent143-+
dc.identifier.citationKnowledge-based And Intelligent Information And Engineering Systems, Pt Iii. Berlin: Springer-verlag Berlin, v. 6278, p. 143-+, 2010.
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11449/194725
dc.identifier.wosWOS:000289402900017
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofKnowledge-based And Intelligent Information And Engineering Systems, Pt Iii
dc.sourceWeb of Science
dc.subjectCurry algebra
dc.subjectalgebraic logic
dc.subjectparaconsistent logic
dc.subjectparacomplete logic
dc.subjectnon-alethic logic
dc.titleMonadic Curry System N-1*en
dc.typeTrabalho apresentado em evento
dcterms.licensehttp://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0
dcterms.rightsHolderSpringer
dspace.entity.typePublication
unesp.author.orcid0000-0003-2088-9065[1]

Arquivos

Coleções

Artigos