Logic determined by Boolean algebras with conjugate

Página do item simplificado
dc.contributor.authorKondo, Michiro
dc.contributor.authorNakamatsu, Kazumi
dc.contributor.authorAbe, Jair Minoro
dc.contributor.authorGabrys, B.
dc.contributor.authorHowlett, R. J.
dc.contributor.authorJain, L. C.
dc.contributor.institutionTokyo Denki Univ
dc.contributor.institutionUniversidade Estadual Paulista (Unesp)
dc.contributor.institutionUniversidade de São Paulo (USP)
dc.date.accessioned2020-12-10T16:33:26Z
dc.date.available2020-12-10T16:33:26Z
dc.date.issued2006-01-01
dc.description.abstractWe give an axiomatic system of a logic characterized by the class of Boolean algebras with conjugate, which has a close connection with the theory of rough sets, and prove that the logic is decidable.en
dc.description.affiliationTokyo Denki Univ, Sch Informat Environm, Tokyo 101, Japan
dc.description.affiliationUniv Estadual Paulista, Dept Informat Technol, ICET, BR-01405 Sao Paulo, Brazil
dc.description.affiliationUniv Sao Paulo, Inst Adv Studies, BR-05508 Sao Paulo, Brazil
dc.description.affiliationUnespUniv Estadual Paulista, Dept Informat Technol, ICET, BR-01405 Sao Paulo, Brazil
dc.format.extent871-878
dc.identifier.citationKnowledge-based Intelligent Information And Engineering Systems, Pt 2, Proceedings. Berlin: Springer-verlag Berlin, v. 4252, p. 871-878, 2006.
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11449/194656
dc.identifier.wosWOS:000242122600111
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofKnowledge-based Intelligent Information And Engineering Systems, Pt 2, Proceedings
dc.sourceWeb of Science
dc.titleLogic determined by Boolean algebras with conjugateen
dc.typeArtigo
dcterms.licensehttp://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0
dcterms.rightsHolderSpringer
unesp.author.orcid0000-0003-2088-9065[3]

Arquivos

Coleções

Artigos