Publicação: Logic determined by Boolean algebras with conjugate
Carregando...
Data
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Springer
Tipo
Artigo
Direito de acesso
Resumo
We 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
Palavras-chave
Idioma
Inglês
Como citar
Knowledge-based Intelligent Information And Engineering Systems, Pt 2, Proceedings. Berlin: Springer-verlag Berlin, v. 4252, p. 871-878, 2006.
