Logic determined by boolean algebras with conjugate

  • Authors:

  • Michiro Kondo;Kazumi Nakamatsu;Jair Minoro Abe

  • Affiliations:

  • School of Information Environment, Tokyo Denki University, Japan;School of Human Science and Environment, University of Hyogo, Japan;Information Technology Dept., ICET – Paulista University, Sao Paulo, Brazil

  • Venue:
  • KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

Visualization

Abstract

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.