Logic determined by Boolean algebras with conjugate

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorTokyo Denki Univ-
Autor(es): dc.contributorUniversidade Estadual Paulista (Unesp)-
Autor(es): dc.contributorUniversidade de São Paulo (USP)-
Autor(es): dc.creatorKondo, Michiro-
Autor(es): dc.creatorNakamatsu, Kazumi-
Autor(es): dc.creatorAbe, Jair Minoro-
Autor(es): dc.creatorGabrys, B.-
Autor(es): dc.creatorHowlett, R. J.-
Autor(es): dc.creatorJain, L. C.-
Data de aceite: dc.date.accessioned2022-02-22T00:03:31Z-
Data de disponibilização: dc.date.available2022-02-22T00:03:31Z-
Data de envio: dc.date.issued2020-12-09-
Data de envio: dc.date.issued2020-12-09-
Data de envio: dc.date.issued2006-01-01-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/11449/194656-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/11449/194656-
Descrição: dc.descriptionWe 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.-
Descrição: dc.descriptionTokyo Denki Univ, Sch Informat Environm, Tokyo 101, Japan-
Descrição: dc.descriptionUniv Estadual Paulista, Dept Informat Technol, ICET, BR-01405 Sao Paulo, Brazil-
Descrição: dc.descriptionUniv Sao Paulo, Inst Adv Studies, BR-05508 Sao Paulo, Brazil-
Descrição: dc.descriptionUniv Estadual Paulista, Dept Informat Technol, ICET, BR-01405 Sao Paulo, Brazil-
Formato: dc.format871-878-
Idioma: dc.languageen-
Publicador: dc.publisherSpringer-
Relação: dc.relationKnowledge-based Intelligent Information And Engineering Systems, Pt 2, Proceedings-
???dc.source???: dc.sourceWeb of Science-
Título: dc.titleLogic determined by Boolean algebras with conjugate-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Unesp

Não existem arquivos associados a este item.