Logic determined by Boolean algebras with conjugate
Nenhuma Miniatura disponível
Data
2006-01-01
Autores
Kondo, Michiro
Nakamatsu, Kazumi
Abe, Jair Minoro
Gabrys, B.
Howlett, R. J.
Jain, L. C.
Título da Revista
ISSN da Revista
Título de Volume
Editor
Springer
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
Como citar
Knowledge-based Intelligent Information And Engineering Systems, Pt 2, Proceedings. Berlin: Springer-verlag Berlin, v. 4252, p. 871-878, 2006.